本文に飛ぶ

年 〜
年

検索結果 9 件

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)
紙図書
Springerc2004.<M17-04-3132>
国立国会図書館
  • 件名Relation algebras -- Congresses.

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>
国立国会図書館

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)
紙図書
Springerc2009.<M17-10-1915>
国立国会図書館
  • 件名Relation algebras -- Congresses. Algebraic logic -- Congresses...

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)
紙図書
Springerc2008.<M17-08-1262>
国立国会図書館
  • 件名Relation algebras -- Congresses. Algebraic logic -- Congresses...

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)
紙図書
Springerc2006.<M17-06-1895>
国立国会図書館
  • 件名...-- Congresses. Relation algebras -- Congresses.

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-Verlagc2002.<M17-03-1092>
国立国会図書館
  • 件名Computer science -- Mathematics -- Congresses. Relation algebras -- Congresses.

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.)Springerc2021
全国の図書館

Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014, proceedings : [pbk.]

Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014, proceedings : [pbk.]
紙図書
Peter Höfner ... [et al.] (eds.)Springerc2014
全国の図書館

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

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
紙図書
Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller (eds.)Springerc2009
全国の図書館

検索結果は以上です。

RSS