国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1980年代
(2)
1990年代
(43)
2000年代
(78)
2010年代
(116)
2020年代
(27)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(266)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(265)
マイクロ
(1)
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 266 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Mathematical foundations of computer science 2015 : 40th international symposium, MFCS 2015 : Milan, Italy, August 24-28, 2015 : proceedings : Aug 2015, Milan, Italy. (Lecture Notes in Computer Science ; 9234-9235. Advanced Research in Computing and Software Science)
Mathematical foundations of computer science 2015 : 40th international symposium, MFCS 2015 : Milan, Italy, August 24-28, 2015 : proceedings : Aug 2015, Milan, Italy. (Lecture Notes in Computer Science ; 9234-9235. Advanced Research in Computing and Software Science)
紙
図書
Springer
[2015]
<M17-16-523>
国立国会図書館
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>
国立国会図書館
Relational and algebraic methods in computer science : 13th international conference, RAMiCS 2012 : Cambridge, UK, September 17-20, 2012 : proceedings : Sep 2012, Cambridge, UK. (Lecture Notes in Computer Science ; 7560)
Relational and algebraic methods in computer science : 13th international conference, RAMiCS 2012 : Cambridge, UK, September 17-20, 2012 : proceedings : Sep 2012, Cambridge, UK. (Lecture Notes in Computer Science ; 7560)
紙
図書
Springer
c2012.
<M17-13-816>
国立国会図書館
Thirtieth annual ACM-SIAM symposium on discrete algorithms (SODA 2019) : San Diego, California, USA : 6-9 January 2019 : Jan 2019, San Diego, CA.
Thirtieth annual ACM-SIAM symposium on discrete algorithms (SODA 2019) : San Diego, California, USA : 6-9 January 2019 : Jan 2019, San Diego, CA.
紙
図書
SIAM
[2019]
<M17-20-669>
国立国会図書館
Mathematical foundations of computer science 2011 : 36th international symposium, MFCS 2011 : Warsaw, Poland, August 22-26, 2011 : proceedings : Aug 2011, Warsaw, Poland. (Lecture Notes in Computer Science ; 6907. Advanced Research in Computing and Software Science)
Mathematical foundations of computer science 2011 : 36th international symposium, MFCS 2011 : Warsaw, Poland, August 22-26, 2011 : proceedings : Aug 2011, Warsaw, Poland. (Lecture Notes in Computer Science ; 6907. Advanced Research in Computing and Software Science)
紙
図書
Springer
c2011.
<M17-12-443>
国立国会図書館
Algebra and coalgebra in computer science : 5th international conference, CALCO 2013 : Warsaw, Poland, September 3-6, 2013 : proceedings : CALCO tools workshop : CALCO-tools workshop : CALCO main conference : Sep 2013, Warsaw, Poland. (Lecture Notes in Computer Science ; 8089)
Algebra and coalgebra in computer science : 5th international conference, CALCO 2013 : Warsaw, Poland, September 3-6, 2013 : proceedings : CALCO tools workshop : CALCO-tools workshop : CALCO main conference : Sep 2013, Warsaw, Poland. (Lecture Notes in Computer Science ; 8089)
紙
図書
Springer
c2013.
<M17-14-602>
国立国会図書館
Combinatorial optimization and applications : 7th international conference, COCOA 2013 : Chengdu, China, December 12-14, 2013 : proceedings : Dec 2013, Chengdu, China. (Lecture Notes in Computer Science ; 8287)
Combinatorial optimization and applications : 7th international conference, COCOA 2013 : Chengdu, China, December 12-14, 2013 : proceedings : Dec 2013, Chengdu, China. (Lecture Notes in Computer Science ; 8287)
紙
図書
Springer
c2013.
<M17-14-1540>
国立国会図書館
Transactions on Petri nets and other models of concurrency 8 : 33rd international conference on application and theory of Petri nets and other models of concurrency : Petri net conference satellite workshops : annual international conference on application and theory of Petri nets and other models of concurrency : Petri Nets 2012 : Jun 2012, Hamburg, Germany. (Lecture Notes in Computer Science ; 8100. Journal Subline)
Transactions on Petri nets and other models of concurrency 8 : 33rd international conference on application and theory of Petri nets and other models of concurrency : Petri net conference satellite workshops : annual international conference on application and theory of Petri nets and other models of concurrency : Petri Nets 2012 : Jun 2012, Hamburg, Germany. (Lecture Notes in Computer Science ; 8100. Journal Subline)
紙
図書
Springer
c2013.
<M17-14-608>
国立国会図書館
Reversible computation : 4th international workshop, RC 2012 : Copenhagen, Denmark, July 2-3, 2012 : revised papers : Jul 2012, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 7581)
Reversible computation : 4th international workshop, RC 2012 : Copenhagen, Denmark, July 2-3, 2012 : revised papers : Jul 2012, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 7581)
紙
図書
Springer
c2013.
<M17-13-1617>
国立国会図書館
Mathematical and engineering methods in computer science : 8th international doctoral workshop, MEMICS 2012 : Znojmo, Czech Republic, October 25-28, 2012 : revised selected papers : Oct 2012, Znojmo, Czech Republic. (Lecture Notes in Computer Science ; 7721)
Mathematical and engineering methods in computer science : 8th international doctoral workshop, MEMICS 2012 : Znojmo, Czech Republic, October 25-28, 2012 : revised selected papers : Oct 2012, Znojmo, Czech Republic. (Lecture Notes in Computer Science ; 7721)
紙
図書
Springer
c2013.
<M17-13-1631>
国立国会図書館
The nature of computation : logic, algorithms, applications : 9th conference on computability in Europe, CiE 2013 : Milan, Italy, July 1-5, 2013 : proceedings : annual CiE conference : Jul 2013, Milan, Italy. (Lecture Notes in Computer Science ; 7921)
The nature of computation : logic, algorithms, applications : 9th conference on computability in Europe, CiE 2013 : Milan, Italy, July 1-5, 2013 : proceedings : annual CiE conference : Jul 2013, Milan, Italy. (Lecture Notes in Computer Science ; 7921)
紙
図書
Springer
c2013.
<M17-14-558>
国立国会図書館
Cellular automata and discrete complex systems : 19th international workshop, AUTOMATA 2013 : Gießen, Germany, September 17-19, 2013 : proceedings : Sep 2013, Gießen, Germany. (Lecture Notes in Computer Science ; 8155)
Cellular automata and discrete complex systems : 19th international workshop, AUTOMATA 2013 : Gießen, Germany, September 17-19, 2013 : proceedings : Sep 2013, Gießen, Germany. (Lecture Notes in Computer Science ; 8155)
紙
図書
Springer
c2013.
<M17-14-766>
国立国会図書館
Typed lambda calculi and applications : 11th international conference, TLCA 2013 : Eindhoven, the Netherlands, June 26-28, 2013 : proceedings : 7th international conference on rewriting, deduction, and programming (RDP 2013) : Jun 2013, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 7941. Advanced Research in Computing and Software Science)
Typed lambda calculi and applications : 11th international conference, TLCA 2013 : Eindhoven, the Netherlands, June 26-28, 2013 : proceedings : 7th international conference on rewriting, deduction, and programming (RDP 2013) : Jun 2013, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 7941. Advanced Research in Computing and Software Science)
紙
図書
Springer
c2013.
<M17-13-3388>
国立国会図書館
Computer science -- theory and applications : 8th international computer science symposium in Russia, CSR 2013 : Ekaterinburg, Russia, June 25-29, 2013 : proceedings : Jun 2013, Ekaterinburg, Russia. (Lecture Notes in Computer Science ; 7913)
Computer science -- theory and applications : 8th international computer science symposium in Russia, CSR 2013 : Ekaterinburg, Russia, June 25-29, 2013 : proceedings : Jun 2013, Ekaterinburg, Russia. (Lecture Notes in Computer Science ; 7913)
紙
図書
Springer
c2013.
<M17-13-3354>
国立国会図書館
Proceedings of the twenty-sixth annual ACM-SIAM symposium on discrete algorithms : SODA 2015 : Jan 2015, San Diego, CA.
Proceedings of the twenty-sixth annual ACM-SIAM symposium on discrete algorithms : SODA 2015 : Jan 2015, San Diego, CA.
紙
図書
Association for Computing Machinery
[2015]
<M17-15-1846>
国立国会図書館
Coalgebraic methods in computer science : 12th IFIP WG 1.3 international workshop, CMCS 2014 : colocated with ETAPS 2014 : Grenoble, France, April 5-6, 2014 : revised selected papers : joint conference on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8446)
Coalgebraic methods in computer science : 12th IFIP WG 1.3 international workshop, CMCS 2014 : colocated with ETAPS 2014 : Grenoble, France, April 5-6, 2014 : revised selected papers : joint conference on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8446)
紙
図書
Springer
[2014]
<M17-15-1285>
国立国会図書館
Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium : Shanghai, China, September 4-6, 2013 : proceedings : Sep 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8049)
Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium : Shanghai, China, September 4-6, 2013 : proceedings : Sep 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8049)
紙
図書
Springer
c2013.
<M17-14-576>
国立国会図書館
29th annual ACM-SIAM symposium on discrete algorithms (SODA 2018) : New Orleans, Louisiana, USA : 7-10 January 2018 : Jan 2018, New Orleans, LA.
29th annual ACM-SIAM symposium on discrete algorithms (SODA 2018) : New Orleans, Louisiana, USA : 7-10 January 2018 : Jan 2018, New Orleans, LA.
紙
図書
SIAM
[2018]
<M17-19-997>
国立国会図書館
ACM-SIAM symposium on discrete algorithms (SODA22) : held online : Alexandria, Virginia, USA : 9-12 January 2022 : Jan 2022, ------.
ACM-SIAM symposium on discrete algorithms (SODA22) : held online : Alexandria, Virginia, USA : 9-12 January 2022 : Jan 2022, ------.
紙
図書
SIAM
[2022]
<M17-22-898>
国立国会図書館
Cellular automata and discrete complex systems : 21st IFIP WG 1.5 international workshop, AUTOMATA 2015 : Turku, Finland, June 8-10, 2015 : proceeding : IFIP working conference : Jun 2015, Truku, Finland. (Lecture Notes in Computer Science ; 9099)
Cellular automata and discrete complex systems : 21st IFIP WG 1.5 international workshop, AUTOMATA 2015 : Turku, Finland, June 8-10, 2015 : proceeding : IFIP working conference : Jun 2015, Truku, Finland. (Lecture Notes in Computer Science ; 9099)
紙
図書
Springer
[2015]
<M17-16-370>
国立国会図書館
もっと見る(21件目~)
書誌情報を一括出力