Concurrency theory
: 14th international conference ; proceedings / CONCUR 2003, Marseille, France, September 3 - 5, 2003. Roberto Amadio (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2761)
ISBN 978-3-540-45187-7
Lizenzpflichtig
Quelle: DNB
Concurrency theory
: 14th international conference ; proceedings / CONCUR 2003, Marseille, France, September 3 - 5, 2003. Roberto Amadio ; Denis Lugiez (ed.). - Berlin : Springer, 2003. - XI, 524 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2761)
ISBN 978-3-540-40753-9 / 3-540-40753-7 kart. : EUR 66.34 (freier Pr.), sfr 103.00
Literaturangaben
Quelle: DNB
Foundations of software science and computational structures
: 11th international conference ; proceedings / FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Roberto Amadio (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4962)
ISBN 978-3-540-78499-9
Lizenzpflichtig
Quelle: DNB
