Automata, languages and programming
: 30th international colloquium ; proceedings / ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Jos C. M. Baeten ... (ed.). - Berlin : Springer, 2003. - XVIII, 1199 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2719)
ISBN 978-3-540-40493-4 / 3-540-40493-7 kart. : EUR 101.65
Literaturangaben
Quelle: DNB
Concurrency theory
: 10th international conference ; proceedings / CONCUR '99, Eindhoven, The Netherlands, August 1999. Jos C. M. Baeten ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1664)
ISBN 978-3-540-48320-5
Lizenzpflichtig
Quelle: DNB
Proceedings / CONCUR '91
/ 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26 - 29, 1991. J. C. M. Baeten ; J. F. Groote (ed.). - Berlin : Springer, 1991. - IX, 540 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 527)
ISBN 978-3-540-54430-2 / 3-540-54430-5 kart. : DM 73.00
Literaturangaben
Quelle: DNB
Baeten, Josephus C. M.: Process algebra with timing
/ J. C. M. Baeten ; C. A. Middelburg. - Berlin : Springer, 2002. - XVII, 287 S.; 25 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-43447-4 / 3-540-43447-X Pp. : EUR 64.15
Literaturverz. S. 275 - 278
Quelle: DNB