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
Processes, terms and cycles: steps on the road to infinity
: essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / Aart Middeldorp ... (ed.). - Berlin : Springer, 2005. - XVIII, 638 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3838 : Festschrift)
ISBN 978-3-540-30911-6 / 3-540-30911-X kart. : EUR 81.32 (freier Pr.), ca. sfr 128.50
Quelle: DNB Verlagsmeldungen
Processes, terms and cycles: steps on the road to infinity
: essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / Aart Middeldorp ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3838)
ISBN 978-3-540-32425-6
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Rocco De Nicola (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4421)
ISBN 978-3-540-71316-6
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Rocco De Nicola (ed.). - Berlin : Springer, 2007. - XVII, 538 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4421)
ISBN 978-3-540-71314-2 / 3-540-71314-X kart. : EUR 72.76 (freier Pr.), sfr 111.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Programming languages and systems
: proceedings / 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Sophia Drossopoulou (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4960)
ISBN 978-3-540-78739-6
Lizenzpflichtig
Quelle: DNB
