国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1980年代
(4)
1990年代
(3)
2000年代
(13)
2010年代
(10)
2020年代
(3)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(37)
雑誌
(2)
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
(1)
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(1)
紙
(38)
マイクロ
記録メディア
(1)
すべて解除
絞り込み条件
絞り込み条件
検索結果 39 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014 : Marienstatt, Germany, April 28-May 1, 2014 : proceedings : Apr 2014, Marienstatt, Germany. (Lecture Notes in Computer Science ; 8428)
Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014 : Marienstatt, Germany, April 28-May 1, 2014 : proceedings : Apr 2014, Marienstatt, Germany. (Lecture Notes in Computer Science ; 8428)
紙
図書
Springer
[2014]
<M17-15-1583>
国立国会図書館
Mathematical and engineering methods in computer science : 9th international doctoral workshop, MEMICS 2014 : Telč, Czech Republic, October 17-19, 2014 : revised selected papers : Oct 2014, Telč, Czech Republic. (Lecture Notes in Computer Science ; 8934)
Mathematical and engineering methods in computer science : 9th international doctoral workshop, MEMICS 2014 : Telč, Czech Republic, October 17-19, 2014 : revised selected papers : Oct 2014, Telč, Czech Republic. (Lecture Notes in Computer Science ; 8934)
紙
図書
Springer
[2014]
<M17-15-1606>
国立国会図書館
Mathematical methods in computer science : essays in memory of Thomas Beth. : conference mathematical methods in computer science : MMICS 2008 : Dec 2008, Karlsruhe, Germany. (Lecture Notes in Computer Science ; 5393. Festschrift)
Mathematical methods in computer science : essays in memory of Thomas Beth. : conference mathematical methods in computer science : MMICS 2008 : Dec 2008, Karlsruhe, Germany. (Lecture Notes in Computer Science ; 5393. Festschrift)
紙
図書
Springer
c2008.
<M17-10-630>
国立国会図書館
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>
国立国会図書館
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>
国立国会図書館
Mathematical and engineering methods in computer science : 7th international doctoral workshop, MEMICS 2011 : Lednice, Czech Republic, October 14-16, 2011 : revised selected papers : Oct 2011, Lednice, Czech Republic. (Lecture Notes in Computer Science ; 7119)
Mathematical and engineering methods in computer science : 7th international doctoral workshop, MEMICS 2011 : Lednice, Czech Republic, October 14-16, 2011 : revised selected papers : Oct 2011, Lednice, Czech Republic. (Lecture Notes in Computer Science ; 7119)
紙
図書
Springer
c2012.
<M17-12-2128>
国立国会図書館
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>
国立国会図書館
Relational and algebraic methods in computer science : 12th international conference, RAMICS 2011 : Rotterdam, the Netherlands, May 30-June 3, 2011 : proceedings. : May 2011, Rotterdam, the Netherlands. (Lecture Notes in Computer Science ; 6663)
Relational and algebraic methods in computer science : 12th international conference, RAMICS 2011 : Rotterdam, the Netherlands, May 30-June 3, 2011 : proceedings. : May 2011, Rotterdam, the Netherlands. (Lecture Notes in Computer Science ; 6663)
紙
図書
Springer
c2011.
<M17-11-2461>
国立国会図書館
Relational methods in computer science : 8th international seminar on relational methods in computer science : 3rd international workshop on applications of Kleene algebra and workshop of COST Action 274: TARSKI : St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers. : RelMiCS 8 : Feb 2005, St. Catharines, Canada. (Lecture Notes in Computer Science ; 3929)
Relational methods in computer science : 8th international seminar on relational methods in computer science : 3rd international workshop on applications of Kleene algebra and workshop of COST Action 274: TARSKI : St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers. : RelMiCS 8 : Feb 2005, St. Catharines, Canada. (Lecture Notes in Computer Science ; 3929)
紙
図書
Springer
c2006.
<M17-06-1895>
国立国会図書館
Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008 : Frauenworth, Germany, April 7-11, 2008 : proceedings. : 10th international seminar on relational methods in computer science (RelMiCS 10) : 5th international workshop on applications of Kleene algebra (AKA 5) : Apr 2008, ------. (Lecture Notes in Computer Science ; 4988)
Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008 : Frauenworth, Germany, April 7-11, 2008 : proceedings. : 10th international seminar on relational methods in computer science (RelMiCS 10) : 5th international workshop on applications of Kleene algebra (AKA 5) : Apr 2008, ------. (Lecture Notes in Computer Science ; 4988)
紙
図書
Springer
c2008.
<M17-08-1262>
国立国会図書館
Relational and Kleene-algebraic methods in computer science : 7th international seminar on relational methods in computer science and 2nd international workshop on applications of Kleene algebra : Bad Malente, Germany, May 12-17, 2003 : revised selected papers. : RelMiCS 7 : May 2003, Bad Malente, Germany. (Lecture Notes in Computer Science ; 3051)
Relational and Kleene-algebraic methods in computer science : 7th international seminar on relational methods in computer science and 2nd international workshop on applications of Kleene algebra : Bad Malente, Germany, May 12-17, 2003 : revised selected papers. : RelMiCS 7 : May 2003, Bad Malente, Germany. (Lecture Notes in Computer Science ; 3051)
紙
図書
Springer
c2004.
<M17-04-3132>
国立国会図書館
Relations and Kleene algebra in computer science : 11th international conference on relational methods in computer science, RelMiCS 2009 and 6th international conference on applications of Kleene algebra, AKA 2009 : Doha, Qatar, November 1-5, 2009 : proceedings. : RelMiCS 11 : AKA 6 : RelMiCS/AKA09 : Nov 2009, Doha, Qatar. (Lecture Notes in Computer Science ; 5827)
Relations and Kleene algebra in computer science : 11th international conference on relational methods in computer science, RelMiCS 2009 and 6th international conference on applications of Kleene algebra, AKA 2009 : Doha, Qatar, November 1-5, 2009 : proceedings. : RelMiCS 11 : AKA 6 : RelMiCS/AKA09 : Nov 2009, Doha, Qatar. (Lecture Notes in Computer Science ; 5827)
紙
図書
Springer
c2009.
<M17-10-1915>
国立国会図書館
Relations and Kleene algebra in computer science : 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006 : Manchester, UK, August/September, 2006 : proceedings. : RelMiCS-9 : AKA 2006 : Aug 2006, Manchester, UK. (Lecture Notes in Computer Science ; 4136)
Relations and Kleene algebra in computer science : 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006 : Manchester, UK, August/September, 2006 : proceedings. : RelMiCS-9 : AKA 2006 : Aug 2006, Manchester, UK. (Lecture Notes in Computer Science ; 4136)
紙
図書
Springer
c2006.
<M17-06-3042>
国立国会図書館
Relational methods in computer science : 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001 : revised papers. : Oct 2001, Oisterwijk, the Netherlands. (Lecture Notes in Computer Science ; 2561)
Relational methods in computer science : 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001 : revised papers. : Oct 2001, Oisterwijk, the Netherlands. (Lecture Notes in Computer Science ; 2561)
紙
図書
Springer-Verlag
c2002.
<M17-03-1092>
国立国会図書館
Constructive methods in computing science : International Summer school : Jul 1988, Marktoberdorf, Germany. (NATO ASI Series Series F ; 55)
Constructive methods in computing science : International Summer school : Jul 1988, Marktoberdorf, Germany. (NATO ASI Series Series F ; 55)
紙
図書
Springer-Verlag
c1989.
<M17-89-2534>
国立国会図書館
Categorical methods in computer science : with aspects from topology / H. Ehrig ... [et al.] (eds.). (Lecture notes in computer science)
Categorical methods in computer science : with aspects from topology / H. Ehrig ... [et al.] (eds.). (Lecture notes in computer science)
紙
図書
Springer-Verlag
c1989.
<M15-A5390>
国立国会図書館
Methods in computational science
: pbk
Methods in computational science : pbk
紙
図書
Johan Hoffman
Society for Industrial and Applied Mathematics
c2021
全国の図書館
Formal methods in computer science : pbk : hbk
Formal methods in computer science : pbk : hbk
紙
図書
Jiacun Wang and William Tepfenhart
CRC Press
2019
全国の図書館
Relational and algebraic methods in computer science : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6 2023 : proceedings
Relational and algebraic methods in computer science : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6 2023 : proceedings
紙
図書
Roland Glück, Luigi Santocanale, Michael Winter, editors
Springer
c2023
全国の図書館
Relational and algebraic methods in computer science : 19th international conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings
Relational and algebraic methods in computer science : 19th international conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings
紙
図書
Uli Fahrenberg ... [et al.] (eds.)
Springer
c2021
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力