国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1950年代
(1)
1960年代
(5)
1970年代
(47)
1980年代
(43)
1990年代
(40)
2000年代
(272)
2010年代
(174)
2020年代
(9)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(590)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(2)
紙
(585)
マイクロ
(3)
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 590 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Unifying theories of programming : 5th international symposium, UTP 2014 : Singapore, May 13, 2014 : revised selected papers : May 2014, Singapore. (Lecture Notes in Computer Science ; 8963)
Unifying theories of programming : 5th international symposium, UTP 2014 : Singapore, May 13, 2014 : revised selected papers : May 2014, Singapore. (Lecture Notes in Computer Science ; 8963)
紙
図書
Springer
[2015]
<M17-15-1609>
国立国会図書館
Compiler construction : 23rd international conference, CC 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8409. Advanced Research in Computing and Software Science)
Compiler construction : 23rd international conference, CC 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8409. Advanced Research in Computing and Software Science)
紙
図書
Springer
c2014.
<M17-14-2135>
国立国会図書館
Unifying theories of programming : 4th international symposium, UTP 2012 : Paris, France, August 27-28, 2012 : revised selected papers : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7681)
Unifying theories of programming : 4th international symposium, UTP 2012 : Paris, France, August 27-28, 2012 : revised selected papers : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7681)
紙
図書
Springer
c2013.
<M17-13-1622>
国立国会図書館
Compiler construction : 22nd international conference, CC 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7791. Advanced Research in Computing and Software Science)
Compiler construction : 22nd international conference, CC 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7791. Advanced Research in Computing and Software Science)
紙
図書
Springer
c2013.
<M17-13-2118>
国立国会図書館
Programming languages and systems : 18th Asian symposium, APLAS 2020 : Fukuoka, Japan, November 30-December 2, 2020 : proceedings : Nov 2020, ------. (Lecture Notes in Computer Science ; 12470)
Programming languages and systems : 18th Asian symposium, APLAS 2020 : Fukuoka, Japan, November 30-December 2, 2020 : proceedings : Nov 2020, ------. (Lecture Notes in Computer Science ; 12470)
紙
図書
Springer
[2020]
<M17-23-81>
国立国会図書館
UCC'17 : proceedings of the 10th international conference on utility and cloud computing : December 5-8, 2017 : Austin, Texas, USA : IEEE/ACM UCC/BDCAT 2017 : UCC/BDCAT event 2017 : main UCC and BDCAT conference : 1st "international workshop on data-center automation, analytics, and control" : DAAC 2017 : Dec 2017, Austin, TX.
UCC'17 : proceedings of the 10th international conference on utility and cloud computing : December 5-8, 2017 : Austin, Texas, USA : IEEE/ACM UCC/BDCAT 2017 : UCC/BDCAT event 2017 : main UCC and BDCAT conference : 1st "international workshop on data-center automation, analytics, and control" : DAAC 2017 : Dec 2017, Austin, TX.
紙
図書
The Association for Computing Machinery
[2017]
<M17-20-30>
国立国会図書館
2016 IEEE 24th international conference on program comprehension (ICPC 2016) : Austin, Texas, USA : 16-17 May 2016 : 24th IEEE/ACM international conference on program comprehension : May 2016, Austin, TX.
2016 IEEE 24th international conference on program comprehension (ICPC 2016) : Austin, Texas, USA : 16-17 May 2016 : 24th IEEE/ACM international conference on program comprehension : May 2016, Austin, TX.
紙
図書
IEEE
[2016]
<M17-18-1183>
国立国会図書館
PPoPP'17 : proceedings of the 22nd ACM SIGPLAN symposium on principles and practice of parallel programming : February 4-8, 2017 : Austin, Texas, USA : PPoPP 2017 : Feb 2017, Austin, TX.
PPoPP'17 : proceedings of the 22nd ACM SIGPLAN symposium on principles and practice of parallel programming : February 4-8, 2017 : Austin, Texas, USA : PPoPP 2017 : Feb 2017, Austin, TX.
紙
図書
The Association for Computing Machinery
[2017]
<M17-18-2081>
国立国会図書館
2016 IEEE/ACM 9th international conference on utility and cloud computing : (UCC 2016) : Shanghai, China : 6-9 December 2016 : UCC'9 : Dec 2016, Shanghai, China.
2016 IEEE/ACM 9th international conference on utility and cloud computing : (UCC 2016) : Shanghai, China : 6-9 December 2016 : UCC'9 : Dec 2016, Shanghai, China.
紙
図書
IEEE
[2016]
<M17-19-348>
国立国会図書館
2016 third workshop on accelerator programming using directives (WACCPD 2016) : Salt Lake City, Utah, USA : 14 November 2016 : Nov 2016, Salt Lake City, UT.
2016 third workshop on accelerator programming using directives (WACCPD 2016) : Salt Lake City, Utah, USA : 14 November 2016 : Nov 2016, Salt Lake City, UT.
紙
図書
IEEE
[2016]
<M17-18-1825>
国立国会図書館
Thirty-first annual ACM-SIAM symposium on discrete algorithms (SODA 2020) : Salt Lake City, Utah, USA : 5-8 January 2020 : Jan 2020, Salt Lake City, UT.
Thirty-first annual ACM-SIAM symposium on discrete algorithms (SODA 2020) : Salt Lake City, Utah, USA : 5-8 January 2020 : Jan 2020, Salt Lake City, UT.
紙
図書
SIAM
[2020]
<M17-21-367>
国立国会図書館
Static analysis : 22nd international symposium, SAS 2015 : Saint-Malo, France, September 9-11, 2015 : proceedings : SAS meetings : Sep 2015, Saint-Malo, France. (Lecture Notes in Computer Science ; 9291. Advanced Research in Computing and Software Science)
Static analysis : 22nd international symposium, SAS 2015 : Saint-Malo, France, September 9-11, 2015 : proceedings : SAS meetings : Sep 2015, Saint-Malo, France. (Lecture Notes in Computer Science ; 9291. Advanced Research in Computing and Software Science)
紙
図書
Springer
[2015]
<M17-16-615>
国立国会図書館
2015 IEEE 23rd international conference on program comprehension : (ICPC 2015) : Florence, Italy : 18-19 May 2015 : May 2015, Florence, Italy.
2015 IEEE 23rd international conference on program comprehension : (ICPC 2015) : Florence, Italy : 18-19 May 2015 : May 2015, Florence, Italy.
紙
図書
IEEE
[2015]
<M17-17-1643>
国立国会図書館
2015 IEEE 6th international workshop on program comprehension through dynamic analysis : (PCODA 2015) : Montreal, Quebec, Canada : 2 March 2015 : Mar 2015, Montreal, Canada.
2015 IEEE 6th international workshop on program comprehension through dynamic analysis : (PCODA 2015) : Montreal, Quebec, Canada : 2 March 2015 : Mar 2015, Montreal, Canada.
紙
図書
IEEE
[2015]
<M17-17-1642>
国立国会図書館
Programming languages and systems : 23rd European symposium on programming, ESOP 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8410. Advanced Research in Computing and Software Science)
Programming languages and systems : 23rd European symposium on programming, ESOP 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8410. Advanced Research in Computing and Software Science)
紙
図書
Springer
c2014.
<M17-14-2136>
国立国会図書館
Programming languages and systems : 12th Asian symposium, APLAS 2014 : Singapore, Singapore, November 17-19, 2014 : proceedings : Nov 2014, Singapore. (Lecture Notes in Computer Science ; 8858)
Programming languages and systems : 12th Asian symposium, APLAS 2014 : Singapore, Singapore, November 17-19, 2014 : proceedings : Nov 2014, Singapore. (Lecture Notes in Computer Science ; 8858)
紙
図書
Springer
[2014]
<M17-15-624>
国立国会図書館
PPoPP'14 : proceedings of the 2014 ACM SIGPLAN symposium on principles and practice of parallel programming : February 15-19, 2014 : Orlando, Florida, USA : 19th ACM symposium on principles and practice of parallel programming : PPoPP : Feb 2014, Orlando, FL.
PPoPP'14 : proceedings of the 2014 ACM SIGPLAN symposium on principles and practice of parallel programming : February 15-19, 2014 : Orlando, Florida, USA : 19th ACM symposium on principles and practice of parallel programming : PPoPP : Feb 2014, Orlando, FL.
紙
図書
The Association for Computing Machinery
[2014]
<M17-14-3272>
国立国会図書館
From programs to systems : the systems perspective in computing : ETAPS workshop, FPS 2014 : in honor of Joseph Sifakis : Grenoble, France, April 6, 2014 : proceedings : 17th European joint conferences on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8415. Festschrift)
From programs to systems : the systems perspective in computing : ETAPS workshop, FPS 2014 : in honor of Joseph Sifakis : Grenoble, France, April 6, 2014 : proceedings : 17th European joint conferences on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8415. Festschrift)
紙
図書
Springer
c2014.
<M17-14-2137>
国立国会図書館
Generative and transformational techniques in software engineering 4 : international summer school, GTTSE 2011 : Braga, Portugal, July 3-9, 2011 : revised papers : biannual, week-long GTTSE summer school : 4th international summer school on generative and transformational techniques in software engineering : Jul 2011, Braga, Portugal. (Lecture Notes in Computer Science ; 7680. Tutorial)
Generative and transformational techniques in software engineering 4 : international summer school, GTTSE 2011 : Braga, Portugal, July 3-9, 2011 : revised papers : biannual, week-long GTTSE summer school : 4th international summer school on generative and transformational techniques in software engineering : Jul 2011, Braga, Portugal. (Lecture Notes in Computer Science ; 7680. Tutorial)
紙
図書
Springer
c2013.
<M17-13-1621>
国立国会図書館
2013 IEEE 21st international conference on program comprehension : (ICPC 2013) : San Francisco, California, USA : 20-21 May 2013 : May 2013, San Francisco, CA.
2013 IEEE 21st international conference on program comprehension : (ICPC 2013) : San Francisco, California, USA : 20-21 May 2013 : May 2013, San Francisco, CA.
紙
図書
IEEE
c2013.
<M17-14-1396>
国立国会図書館
もっと見る(21件目~)
書誌情報を一括出力