国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
明治
(1)
1960年代
(1)
1970年代
(65)
1980年代
(133)
1990年代
(106)
2000年代
(74)
2010年代
(36)
2020年代
(2)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(419)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(1)
紙
(418)
マイクロ
記録メディア
すべて解除
その他の分類
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 419 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
2016 sixth international workshop on domain-specific languages and high-level frameworks for high performance computing : (WOLFHPC 2016) : Salt Lake City, Utah, USA : 14 November 2016 : Nov 2016, Salt Lake City, UT.
2016 sixth international workshop on domain-specific languages and high-level frameworks for high performance computing : (WOLFHPC 2016) : Salt Lake City, Utah, USA : 14 November 2016 : Nov 2016, Salt Lake City, UT.
紙
図書
IEEE
[2016]
<M17-18-1861>
国立国会図書館
POPL 2015 : POPL'15 : proceedings of the 42nd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 12-18, 2015 : Mumbai, India : POPL conference : Jan 2015, Mumbai, India.
POPL 2015 : POPL'15 : proceedings of the 42nd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 12-18, 2015 : Mumbai, India : POPL conference : Jan 2015, Mumbai, India.
紙
図書
The Association for Computing Machinery
[2015]
<M17-16-47>
国立国会図書館
Algebraic informatics : 6th international conference, CAI 2015 : Stuttgart, Germany, September 1-4, 2015 : proceedings : Sep 2015, Stuttgart, Germany. (Lecture Notes in Computer Science ; 9270)
Algebraic informatics : 6th international conference, CAI 2015 : Stuttgart, Germany, September 1-4, 2015 : proceedings : Sep 2015, Stuttgart, Germany. (Lecture Notes in Computer Science ; 9270)
紙
図書
Springer
[2015]
<M17-16-598>
国立国会図書館
Automata, languages, and programming : 42nd international colloquium, ICALP 2015 : Kyoto, Japan, July 6-10, 2015 : proceedings : annual conferences of the European Association for Theoretical Computer Science (EATCS) : ICALP/LICS 2015 : Jul 2015, Kyoto, Japan. (Lecture Notes in Computer Science ; 9134-9135. Advanced Research in Computing and Software Science)
Automata, languages, and programming : 42nd international colloquium, ICALP 2015 : Kyoto, Japan, July 6-10, 2015 : proceedings : annual conferences of the European Association for Theoretical Computer Science (EATCS) : ICALP/LICS 2015 : Jul 2015, Kyoto, Japan. (Lecture Notes in Computer Science ; 9134-9135. Advanced Research in Computing and Software Science)
紙
図書
Springer
[2015]
<M17-16-392>
国立国会図書館
POPL'14 : proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 22-24, 2014 : San Diego, California, USA : POPL : Jan 2014, San Diego, CA.
POPL'14 : proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 22-24, 2014 : San Diego, California, USA : POPL : Jan 2014, San Diego, CA.
紙
図書
The Association for Computing Machinery
[2014]
<M17-14-3266>
国立国会図書館
Programming languages and systems : 11th Asian symposium, APLAS 2013 : Melbourne, VIC, Australia, December 9-11, 2013 : proceedings : Dec 2013, Melbourne, Australia. (Lecture Notes in Computer Science ; 8301)
Programming languages and systems : 11th Asian symposium, APLAS 2013 : Melbourne, VIC, Australia, December 9-11, 2013 : proceedings : Dec 2013, Melbourne, Australia. (Lecture Notes in Computer Science ; 8301)
紙
図書
Springer
c2013.
<M17-14-1551>
国立国会図書館
Programming languages and systems : 10th Asian symposium, APLAS 2012 : Kyoto, Japan, December 11-13, 2012 : proceedings : Dec 2012, Kyoto, Japan. (Lecture Notes in Computer Science ; 7705)
Programming languages and systems : 10th Asian symposium, APLAS 2012 : Kyoto, Japan, December 11-13, 2012 : proceedings : Dec 2012, Kyoto, Japan. (Lecture Notes in Computer Science ; 7705)
紙
図書
Springer
c2012.
<M17-13-1181>
国立国会図書館
PLDI'13 : proceedings of the 2013 ACM SIGPLAN conference on programming language design and implementation : June 16-19, 2013 : Seattle, Washington, USA : PLDI 2013 : 34th ACM SIGPLAN conference on programming language design and implementation : Jun 2013, Seattle, WA.
PLDI'13 : proceedings of the 2013 ACM SIGPLAN conference on programming language design and implementation : June 16-19, 2013 : Seattle, Washington, USA : PLDI 2013 : 34th ACM SIGPLAN conference on programming language design and implementation : Jun 2013, Seattle, WA.
紙
図書
ACM
c2013.
<M17-14-1855>
国立国会図書館
Programming languages and systems : 21st European symposium on programming, ESOP 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7211. Advanced Research in Computing and Software Science)
Programming languages and systems : 21st European symposium on programming, ESOP 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7211. Advanced Research in Computing and Software Science)
紙
図書
Springer
c2012.
<M17-13-74>
国立国会図書館
Programming languages and systems : 9th Asian symposium, APLAS 2011 : Kenting, Taiwan, December 5-7, 2011 : proceedings : Dec 2011, Kenting, Taiwan. (Lecture Notes in Computer Science ; 7078)
Programming languages and systems : 9th Asian symposium, APLAS 2011 : Kenting, Taiwan, December 5-7, 2011 : proceedings : Dec 2011, Kenting, Taiwan. (Lecture Notes in Computer Science ; 7078)
紙
図書
Springer
c2011.
<M17-12-1777>
国立国会図書館
Programming languages and systems : 20th European symposium on programming, ESOP 2011 : held as part of the joint European conferences on theory and practice of software, ETAPS 2011 : Saarbrucken, Germany, March 26-April 3, 2011 : proceedings. : Mar 2011, Saarbrucken, Germany. (Lecture Notes in Computer Science ; 6602. Advanced Research in Computing and Software Science)
Programming languages and systems : 20th European symposium on programming, ESOP 2011 : held as part of the joint European conferences on theory and practice of software, ETAPS 2011 : Saarbrucken, Germany, March 26-April 3, 2011 : proceedings. : Mar 2011, Saarbrucken, Germany. (Lecture Notes in Computer Science ; 6602. Advanced Research in Computing and Software Science)
紙
図書
Springer
c2011.
<M17-11-2296>
国立国会図書館
Semiotics of programming / Kumiko Tanaka-Ishii.
Semiotics of programming / Kumiko Tanaka-Ishii.
紙
図書
Cambridge University Press
2010.
<M159-B118>
国立国会図書館
Strange code : 14 esoteric programming languages to make you think : pbk
Strange code : 14 esoteric programming languages to make you think : pbk
紙
図書
by Ronald T. Kneusel
No Starch Press
c2022
全国の図書館
Software language engineering : first international conference, SLE 2008 : Toulouse, France, September 29-30, 2008 : revised selected papers. : Sep 2008, Toulouse, France. (Lecture Notes in Computer Science ; 5452)
Software language engineering : first international conference, SLE 2008 : Toulouse, France, September 29-30, 2008 : revised selected papers. : Sep 2008, Toulouse, France. (Lecture Notes in Computer Science ; 5452)
紙
図書
Springer
c2009.
<M17-09-1862>
国立国会図書館
Practical aspects of declarative languages : 11th international symposium, PADL 2009 : Savannah, GA, USA, January 19-20, 2009 : proceedings. : Jan 2009, Savannah, GA. (Lecture Notes in Computer Science ; 5418)
Practical aspects of declarative languages : 11th international symposium, PADL 2009 : Savannah, GA, USA, January 19-20, 2009 : proceedings. : Jan 2009, Savannah, GA. (Lecture Notes in Computer Science ; 5418)
紙
図書
Springer
c2009.
<M17-09-1080>
国立国会図書館
PEPM'09 : proceedings of the 2009 ACM SIGPLAN symposium on partial evaluation and program manipulation : Savannah, Georgia, USA : January 19-20, 2009. : ACM SIGPLAN workshop on partial evaluation and program manipulation : PEPM 2009 : Jan 2009, Savannah, GA.
PEPM'09 : proceedings of the 2009 ACM SIGPLAN symposium on partial evaluation and program manipulation : Savannah, Georgia, USA : January 19-20, 2009. : ACM SIGPLAN workshop on partial evaluation and program manipulation : PEPM 2009 : Jan 2009, Savannah, GA.
紙
図書
ACM
c2009.
<M17-10-1114>
国立国会図書館
Domain-specific languages : IFIP TC 2 working conference, DSL 2009 : Oxford, UK, July 15-17, 2009 : proceedings. : IFIP WC DSL : Jul 2009, Oxford, UK. (Lecture Notes in Computer Science ; 5658)
Domain-specific languages : IFIP TC 2 working conference, DSL 2009 : Oxford, UK, July 15-17, 2009 : proceedings. : IFIP WC DSL : Jul 2009, Oxford, UK. (Lecture Notes in Computer Science ; 5658)
紙
図書
Springer
c2009.
<M17-10-1541>
国立国会図書館
Parsing techniques : a practical guide / Dick Grune, Ceriel J.H. Jacobs. 2nd ed. (Monographs in computer science)
Parsing techniques : a practical guide / Dick Grune, Ceriel J.H. Jacobs. 2nd ed. (Monographs in computer science)
紙
図書
Springer
c2008.
<M159-B71>
国立国会図書館
Practical aspects of declarative languages : 10th international symposium, PADL 2008 : San Francisco, CA, USA, January 7-8, 2008 : proceedings. : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4902)
Practical aspects of declarative languages : 10th international symposium, PADL 2008 : San Francisco, CA, USA, January 7-8, 2008 : proceedings. : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4902)
紙
図書
Springer
c2008.
<M17-08-829>
国立国会図書館
Declarative agent languages and technologies 6 : 6th international workshop, DALT 2008 : Estoril, Portugal, May 12, 2008 : revised selected and invited papers. : May 2008, Estoril, Portugal. (Lecture Notes in Computer Science ; 5397. Lecture Notes in Artificial Intelligence)
Declarative agent languages and technologies 6 : 6th international workshop, DALT 2008 : Estoril, Portugal, May 12, 2008 : revised selected and invited papers. : May 2008, Estoril, Portugal. (Lecture Notes in Computer Science ; 5397. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2009.
<M17-10-527>
国立国会図書館
もっと見る(21件目~)
書誌情報を一括出力