国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
2000年代
(1)
2010年代
(5)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(6)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(6)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 6 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Logic, language, information and computation : 19th international workshop, WoLLIC 2012 : Buenos Aires, Argentina, September 3-6, 2012 : proceedings : WoLLIC 2012 conference : Sep 2012, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 7456)
Logic, language, information and computation : 19th international workshop, WoLLIC 2012 : Buenos Aires, Argentina, September 3-6, 2012 : proceedings : WoLLIC 2012 conference : Sep 2012, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 7456)
紙
図書
Springer
c2012.
<M17-13-605>
国立国会図書館
著者標目
...es, Argentina)
Ong, Luke.
Queiroz, Ruy J. G. B. de.
Typed lambda calculi and applications : 10th international conference, TLCA 2011 : Novi Sad, Serbia, June 1-3, 2011 : proceedings. : 6th international conference on rewriting, deduction, and programming (RDP 2011) : Jun 2011, Novi Sad, Serbia. (Lecture Notes in Computer Science ; 6690. Advanced Research in Computing and Software Science)
Typed lambda calculi and applications : 10th international conference, TLCA 2011 : Novi Sad, Serbia, June 1-3, 2011 : proceedings. : 6th international conference on rewriting, deduction, and programming (RDP 2011) : Jun 2011, Novi Sad, Serbia. (Lecture Notes in Computer Science ; 6690. Advanced Research in Computing and Software Science)
紙
図書
Springer
c2011.
<M17-11-3213>
国立国会図書館
著者標目
Ong, Luke.
International Conference on T...
Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday
Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday
紙
図書
Bob Coecke, Luke Ong, Prakash Panangaden (eds.)
Springer
c2013
全国の図書館
Foundations of software science and computational structures : 13th International Conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 proceedings
Foundations of software science and computational structures : 13th International Conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 proceedings
紙
図書
Luke Ong (ed.)
Springer,
c2010
全国の図書館
Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 2011, proceedings
Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 2011, proceedings
紙
図書
Luke Ong (ed.)
Springer
c2011
全国の図書館
Computer science logic : 19th International Workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings
Computer science logic : 19th International Workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings
紙
図書
Luke Ong (ed.)
Springer
c2005
全国の図書館
検索結果は以上です。
書誌情報を一括出力