【2026年1月20日更新】CiNii BooksのCiNii Researchへの統合について

RelMiCS

ID:DA13873455

別名: International Conference, Relational Methods in Computer Science

同姓同名の著者を検索

検索結果4件中 1-4 を表示

1

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.)

Springer c2009 Lecture notes in computer science 5827

所蔵館1館
2

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

Renate A. Schmidt (ed.)

Springer c2006 Lecture notes in computer science 4136

所蔵館8館
3

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

Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)

Springer c2004 Lecture notes in computer science 3051

所蔵館19館
4

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

Harrie C.M. de Swart (ed.)

Springer c2002 Lecture notes in computer science 2561

所蔵館21館

この著者を外部サイトでさがす

関連著者

ページトップへ