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
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. - XIII, 397 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4960)
ISBN 978-3-540-78738-9 kart. : EUR 59.92 (freier Pr.), sfr 97.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Trustworthy global computing
: third symposium ; revised selected papers / TGC 2007, Sophia-Antipolis, France, November 5 - 6, 2007. Gilles Barthe ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4912)
ISBN 978-3-540-78663-4
Lizenzpflichtig
Quelle: DNB
Trustworthy global computing
: third symposium ; revised selected papers / TGC 2007, Sophia-Antipolis, France, November 5 - 6, 2007. Gilles Barthe ; Cédric Fournet (ed.). - Berlin : Springer, 2008. - XI, 400 S. : graph. Darst., Kt.; 24 cm - (Lecture notes in computer science; Vol. 4912)
ISBN 978-3-540-78662-7 kart. : EUR 59.92 (freier Pr.), sfr 97.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Trustworthy global computing
: second symposium ; revised selected papers / TGC 2006, Lucca, Italy, November 7 - 9, 2006. Ugo Montanari ... (ed.). - Berlin : Springer, 2007. - X, 338 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4661)
ISBN 978-3-540-75333-9 / 3-540-75333-8 kart. : EUR 51.36 (freier Pr.), ca. sfr 91.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
