Concurrency theory

: 13th international conference ; proceedings / CONCUR 2002, Brno, Czech Republic, August 20 - 23, 2002. L. Brim ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2421)

ISBN 978-3-540-45694-0

Lizenzpflichtig

Quelle: DNB

Formal methods applications and technology

: 11th international workshop and 5th international workshop ; revised selected papers / FMICS 2006, PDMC 2006, Bonn, Germany, August 26 - 27, and August 31, 2006. Luboš Brim ... (ed.). - Berlin : Springer, 2007. - X, 361 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4346)

ISBN 978-3-540-70951-0 / 3-540-70951-7 kart. : EUR 55.64 (freier Pr.), sfr 85.50 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Formal methods: applications and technology

: revised selected papers / 11th International Workshop, FMICS 2006 and 5th International Workshop, PDMC 2006, Bonn, Germany, August 26 - 27, and August 31, 2006. Luboš Brim ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4346)

ISBN 978-3-540-70952-7

Lizenzpflichtig

Quelle: DNB

Mathematical foundations of computer science 1998

: 23rd international symposium ; proceedings / MFCS '98, Brno, Czech Republic, August 1998. L. Brim ... (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1450)

ISBN 978-3-540-68532-6

Lizenzpflichtig

Quelle: DNB

Mathematical foundations of computer science 1998

: 23rd international symposium ; proceedings / MFCS '98, Brno, Czech Republic, August 24 - 28, 1998. Luboš Brim ... (ed.). - Berlin : Springer, 1998. - XVII, 846 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1450)

ISBN 978-3-540-64827-7 / 3-540-64827-5 kart. : DM 148.00

Literaturangaben

Quelle: DNB