Abstract state machines
: theory and applications ; international workshop ; proceedings / ASM 2000, Monte Verità, Switzerland, March 19 - 24, 2000. Yuri Gurevich ... (ed.). - Berlin : Springer, 2000. - X, 379 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1912)
ISBN 978-3-540-67959-2 / 3-540-67959-6 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Abstract state machines
: theory and applications ; international workshop ; proceedings / ASM 2000, Monte Verità, Switzerland, March 2000. Yuri Gurevich ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1912)
ISBN 978-3-540-44518-0
Lizenzpflichtig
Quelle: DNB
[Abstract state machines 2004]
: [advances in theory and practice ; 11th international workshop ; proceedings] / [ASM 2004, Lutherstadt Wittenberg, Germany, March 24 - 28, 2004. Wolf Zimmermann ... (ed.)]. - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [3052])
ISBN 978-3-540-24773-9
Titel aus Metadaten. - Lizenzpflichtig
Quelle: DNB
Abstract state machines 2004
: advances in theory and practice ; 11th international workshop ; proceedings / ASM 2004, Lutherstadt Wittenberg, Germany, March 24 - 28, 2004. Wolf Zimmermann ; Bernhard Thalheim (ed.). - Berlin : Springer, 2004. - XII, 233 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3052)
ISBN 978-3-540-22094-7 / 3-540-22094-1 kart. : EUR 44.94 (freier Pr.), ca. sfr 76.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Advanced topics in exception handling techniques
/ Christophe Dony ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4119)
ISBN 978-3-540-37445-9
Lizenzpflichtig
Quelle: DNB
Advances in exception handling techniques
/ A. Romanovsky ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2022)
ISBN 978-3-540-45407-6
Lizenzpflichtig
Quelle: DNB
Huntbach, Matthew M.: Agent oriented programming
: from prolog to guarded definite clauses / Matthew M. Huntbach ; Graem A. Ringwood. - Berlin : Springer, 1999. - XIV, 386 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1630 : Lecture notes in artificial intelligence)
ISBN 978-3-540-66683-7 / 3-540-66683-4 kart. : DM 78.00
Literaturverz. S. 353 - 386
Quelle: DNB
Agent oriented programming
: from prolog to guarded definite clauses / M. M. Huntbach .... - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1630 : Lecture notes in artificial intelligence)
ISBN 978-3-540-47938-3
Lizenzpflichtig
Quelle: DNB
Algebra of communicating processes
: proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16 - 17 May 1994 / A. Ponse ... (ed.) Publ. in collab. with the British Computer Society. - London : Springer, 1995. - X, 357 S. : graph. Darst.; 24 cm - (Workshops in Computing)
ISBN 978-3-540-19909-0 / 3-540-19909-8 kart. : DM 98.00
Literaturangaben
Quelle: DNB
Compositionality
: the significant difference ; international symposium ; revised lectures / COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997. Willem-Paul de Roever ... (ed.). - Berlin : Springer, 1998. - 646 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1536)
ISBN 978-3-540-65493-3 / 3-540-65493-3 kart. : DM 118.00
Literaturangaben
Quelle: DNB