国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
2000年代
(49)
2010年代
(284)
2020年代
(2)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(335)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(335)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 335 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
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>
国立国会図書館
Web services--ICWS 2020 : 27th international conference : held as part of the Services Conference Federation, SCF 2020 : Honolulu, HI, USA, September 18-20, 2020 : proceedings : Sep 2020, ------. (Lecture Notes in Computer Science ; 12406)
Web services--ICWS 2020 : 27th international conference : held as part of the Services Conference Federation, SCF 2020 : Honolulu, HI, USA, September 18-20, 2020 : proceedings : Sep 2020, ------. (Lecture Notes in Computer Science ; 12406)
紙
図書
Springer
[2020]
<M17-22-588>
国立国会図書館
Formal methods and software engineering : 18th international conference on formal engineering methods, ICFEM 2016 : Tokyo, Japan, November 14-18, 2016 : proceedings : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10009)
Formal methods and software engineering : 18th international conference on formal engineering methods, ICFEM 2016 : Tokyo, Japan, November 14-18, 2016 : proceedings : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10009)
紙
図書
Springer
[2016]
<M17-19-540>
国立国会図書館
Software reuse for dynamic systems in the cloud and beyond : 14th international conference on software reuse, ICSR 2015 : Miami, FL, USA, January 4-6, 2015 : proceedings : Jan 2015, Miami, FL. (Lecture Notes in Computer Science ; 8919)
Software reuse for dynamic systems in the cloud and beyond : 14th international conference on software reuse, ICSR 2015 : Miami, FL, USA, January 4-6, 2015 : proceedings : Jan 2015, Miami, FL. (Lecture Notes in Computer Science ; 8919)
紙
図書
Springer
[2015?]
<M17-15-1659>
国立国会図書館
Requirements engineering: foundation for software quality : 21st international working conference, REFSQ 2015 : Essen, Germany, March 23-26, 2015 : proceedings : REFSQ workshop : Mar 2015, Essen, Germany. (Lecture Notes in Computer Science ; 9013)
Requirements engineering: foundation for software quality : 21st international working conference, REFSQ 2015 : Essen, Germany, March 23-26, 2015 : proceedings : REFSQ workshop : Mar 2015, Essen, Germany. (Lecture Notes in Computer Science ; 9013)
紙
図書
Springer
[2015]
<M17-15-2011>
国立国会図書館
Formal methods: foundations and applications : 17th Brazilian symposium, SBMF 2014 : Maceió, AL, Brazil, September 29-October 1, 2014 : proceedings : CBSoft 2014 : 5th Brazilian conference on software: theory and practice : Sep 2014, Maceió, Brazil. (Lecture Notes in Computer Science ; 8941)
Formal methods: foundations and applications : 17th Brazilian symposium, SBMF 2014 : Maceió, AL, Brazil, September 29-October 1, 2014 : proceedings : CBSoft 2014 : 5th Brazilian conference on software: theory and practice : Sep 2014, Maceió, Brazil. (Lecture Notes in Computer Science ; 8941)
紙
図書
Springer
[2015]
<M17-15-1608>
国立国会図書館
Performance characterization and benchmarking : traditional to big data : 6th TPC technology conference, TPCTC 2014 : Hangzhou, China, September 1-5, 2014 : revised selected papers : 6th TPC technology conference on performance evaluation and benchmarking : Sep 2014, Hangzhou, China. (Lecture Notes in Computer Science ; 8904)
Performance characterization and benchmarking : traditional to big data : 6th TPC technology conference, TPCTC 2014 : Hangzhou, China, September 1-5, 2014 : revised selected papers : 6th TPC technology conference on performance evaluation and benchmarking : Sep 2014, Hangzhou, China. (Lecture Notes in Computer Science ; 8904)
紙
図書
Springer
[2015]
<M17-15-1997>
国立国会図書館
Formal aspects of component software : 11th international symposium, FACS 2014 : Bertinoro, Italy, September 10-12, 2014 : revised selected papers : 11th event FACS : FACS conference : Sep 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8997)
Formal aspects of component software : 11th international symposium, FACS 2014 : Bertinoro, Italy, September 10-12, 2014 : revised selected papers : 11th event FACS : FACS conference : Sep 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8997)
紙
図書
Springer
[2015]
<M17-15-1615>
国立国会図書館
Reliable software technologies--Ada-Europe 2015 : 20th Ada-Europe international conference on reliable software technologies : Madrid, Spain, June 22-26, 2015 : proceedings : Jun 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9111)
Reliable software technologies--Ada-Europe 2015 : 20th Ada-Europe international conference on reliable software technologies : Madrid, Spain, June 22-26, 2015 : proceedings : Jun 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9111)
紙
図書
Springer
[2015]
<M17-16-371>
国立国会図書館
Search-based software engineering : 7th international symposium, SSBSE 2015 : Bergamo, Italy, September 5-7, 2015 : proceedings : Sep 2015, Bergamo, Italy. (Lecture Notes in Computer Science ; 9275)
Search-based software engineering : 7th international symposium, SSBSE 2015 : Bergamo, Italy, September 5-7, 2015 : proceedings : Sep 2015, Bergamo, Italy. (Lecture Notes in Computer Science ; 9275)
紙
図書
Springer
[2015]
<M17-16-603>
国立国会図書館
Formal methods for industrial critical systems : 20th international workshop, FMICS 2015 : Oslo, Norway, June 22-23, 2015 : proceedings : Jun 2015, Oslo, Norway. (Lecture Notes in Computer Science ; 9128)
Formal methods for industrial critical systems : 20th international workshop, FMICS 2015 : Oslo, Norway, June 22-23, 2015 : proceedings : Jun 2015, Oslo, Norway. (Lecture Notes in Computer Science ; 9128)
紙
図書
Springer
[2015]
<M17-16-388>
国立国会図書館
Web services and formal methods : 9th international workshop, WS-FM 2012 : Tallinn, Estonia, September 6-7, 2012 : revised selected papers : Sep 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7843)
Web services and formal methods : 9th international workshop, WS-FM 2012 : Tallinn, Estonia, September 6-7, 2012 : revised selected papers : Sep 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7843)
紙
図書
Springer
c2013.
<M17-13-2768>
国立国会図書館
Tests and proofs : 9th international conference, TAP 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 22-24, 2015 : proceedings : software technologies: applications and foundations (STAF) federated event : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9154)
Tests and proofs : 9th international conference, TAP 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 22-24, 2015 : proceedings : software technologies: applications and foundations (STAF) federated event : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9154)
紙
図書
Springer
[2015]
<M17-16-412>
国立国会図書館
Software engineering and formal methods : SEFM 2014 collocated workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS : Grenoble, France, September 1-2, 2014 : revised selected papers : 12th international conference on software engineering and formal methods : SEFM workshop : Sep 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8938)
Software engineering and formal methods : SEFM 2014 collocated workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS : Grenoble, France, September 1-2, 2014 : revised selected papers : 12th international conference on software engineering and formal methods : SEFM workshop : Sep 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8938)
紙
図書
Springer
[2015]
<M17-15-1607>
国立国会図書館
Theory and practice of model transformations : 8th international conference, ICMT 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 20-21, 2015 : proceedings : STAF federated event : 8th international conference on model transformation : STAF 2015 (software technologies: applications and foundations) conference : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9152)
Theory and practice of model transformations : 8th international conference, ICMT 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 20-21, 2015 : proceedings : STAF federated event : 8th international conference on model transformation : STAF 2015 (software technologies: applications and foundations) conference : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9152)
紙
図書
Springer
[2015]
<M17-16-409>
国立国会図書館
Testing software and systems : 27th IFIP WG 6.1 international conference, ICTSS 2015 : Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings : Nov 2015, Sharjah, United Arab Emirates. (Lecture Notes in Computer Science ; 9447)
Testing software and systems : 27th IFIP WG 6.1 international conference, ICTSS 2015 : Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings : Nov 2015, Sharjah, United Arab Emirates. (Lecture Notes in Computer Science ; 9447)
紙
図書
Springer
[2015]
<M17-16-816>
国立国会図書館
Tests and proofs : 7th international conference, TAP 2013 : Budapest, Hungary, June 16-20, 2013 : proceedings : software technologies: applications and foundations (STAF) federated event : Jun 2013, Budapest, Hungary. (Lecture Notes in Computer Science ; 7942)
Tests and proofs : 7th international conference, TAP 2013 : Budapest, Hungary, June 16-20, 2013 : proceedings : software technologies: applications and foundations (STAF) federated event : Jun 2013, Budapest, Hungary. (Lecture Notes in Computer Science ; 7942)
紙
図書
Springer
c2013.
<M17-13-3387>
国立国会図書館
Software engineering and formal methods : 13th international conference, SEFM 2015 : York, UK, September 7-11, 2015 : proceedings : Sep 2015, York, UK. (Lecture Notes in Computer Science ; 9276)
Software engineering and formal methods : 13th international conference, SEFM 2015 : York, UK, September 7-11, 2015 : proceedings : Sep 2015, York, UK. (Lecture Notes in Computer Science ; 9276)
紙
図書
Springer
[2015]
<M17-16-604>
国立国会図書館
Computer performance engineering : 12th European workshop, EPEW 2015 : Madrid, Spain, August 31-September 1, 2015 : proceedings : Aug 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9272)
Computer performance engineering : 12th European workshop, EPEW 2015 : Madrid, Spain, August 31-September 1, 2015 : proceedings : Aug 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9272)
紙
図書
Springer
[2015]
<M17-16-600>
国立国会図書館
Modelling foundations and applications : 11th European conference, ECMFA 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 20-24, 2015 : proceedings : STAF federated event : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9153)
Modelling foundations and applications : 11th European conference, ECMFA 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 20-24, 2015 : proceedings : STAF federated event : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9153)
紙
図書
Springer
[2015]
<M17-16-411>
国立国会図書館
もっと見る(21件目~)
書誌情報を一括出力