[Relational and Kleene algebraic methods in computer science]
: [revised selected papers] / [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. Rudolf Berghammer ... (ed.)]. - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [3051])
ISBN 978-3-540-24771-5
Titel aus Metadaten. - Lizenzpflichtig
Quelle: DNB
Relational methods in computer science
: selected revised papers / 8th International Seminar on Relational Methods in Computer Science ... St. Catharines, ON, Canada, February 22 - 26, 2005. Wendy MacCaull ... (ed.). - Berlin : Springer, 2006. - VIII, 262 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3929)
ISBN 978-3-540-33339-5 / 3-540-33339-8 kart. : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Relations and Kleene algebra in computer science
: proceedings / 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. Renate A. Schmidt (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4136)
ISBN 978-3-540-37874-7
Lizenzpflichtig
Quelle: DNB