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

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

Berlin ; Tokyo : Springer, c2004

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況（返却予定日） コレクション 備考 予約・取り寄せ人数

1
007.08-L49-3051

10004008301

一般図書

詳細情報

刊年

2004

形態

x, 277 p. : ill., port. ; 24 cm

シリーズ名

Lecture notes in computer science ; 3051

注記

Includes bibliographical references and index

Includes photo of Armando Haeberer

出版国

ドイツ＝ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Berghammer, Rudolf

Möller, Bernhard, 1953-

Struth, Georg

RelMiCS [ International Conference, Relational Methods in Computer Science ]

International Workshop on Applications of Kleene Algebra

ISBN

354022145X

NCID

BA67940345

メールで送信

宛先

件名

ブックマークに登録

リストを選択

指定なし

メモ

ブックマークを編集

リストを選択

メモ

リストを選択