Programming languages and systems
: 4th Asian symposium ; proceedings / APLAS 2006, Sydney, Australia, November 8 - 10, 2006. Naoki Kobayashi (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4279)
ISBN 978-3-540-48938-2
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of computer software
: 4th international symposium ; proceedings / TACS 2001, Sendai, Japan, October 29 - 31, 2001. N. Kobayashi ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2215)
ISBN 978-3-540-45500-4
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of computer software
: 4th international symposium ; proceedings / TACS 2001, Sendai, Japan, October 29 - 31, 2001. Naoki Kobayashi ; Benjamin C. Pierce (ed.). - Berlin : Springer, 2001. - XV, 559 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2215)
ISBN 978-3-540-42736-0 / 3-540-42736-8 kart.
Literaturangaben
Quelle: DNB

