Concurrency theory
: 16th international conference ; proceedings / CONCUR 2005, San Francisco, CA, USA, August 23 - 26, 2005. Martín Abadi ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3653)
ISBN 978-3-540-31934-4
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of computer software
: third international symposium ; proceedings / TACS '97, Sendai, Japan, September 23 - 26, 1997. Martín Abadi ; Takayaso Ito (ed.). - Berlin : Springer, 1997. - XI, 638 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1281)
ISBN 978-3-540-63388-4 / 3-540-63388-X kart. : DM 122.00
Literaturangaben
Quelle: DNB