25 years of model checking
: history, achievements, perspectives / Orna Grumberg ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; Vol. 5000)
ISBN 978-3-540-69850-0
Lizenzpflichtig
Quelle: DNB
25 years of model checking
: history, achievements, perspectives ; [Festschrift] / Orna Grumberg ; Helmut Veith (ed.). - Berlin : Springer, 2008. - VI, 230 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5000)
ISBN 978-3-540-69849-4 kart. : EUR 26.70 (freier Pr.), sfr 41.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Abstraction, reformulation and approximation
: 6th international symposium ; proceedings / SARA 2005, Airth Castle, Scotland, UK, July 26 - 29, 2005. Jean-Daniel Zucker ; Lorenza Saitta (ed.). - Berlin : Springer, 2005. - XII, 376 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3607 : Lecture notes in artificial intelligence)
ISBN 978-3-540-27872-6 / 3-540-27872-9 kart.
Literaturangaben
Quelle: DNB
Abstraction, reformulation and approximation
: 6th international symposium ; proceedings / SARA 2005, Airth Castle, Scotland, UK, July 26 - 29, 2005. Jean-Daniel Zucker ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3607 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31882-8
Lizenzpflichtig
Quelle: DNB
Abstraction, reformulation, and approximation
: 5th international symposium ; proceedings / SARA 2002, Kananaskis, Alberta, Canada, August 2 - 4, 2002. S. Koenig ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2371 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45622-3
Lizenzpflichtig
Quelle: DNB
Abstraction, reformulation, and approximation
: 7th international symposium ; proceedings / SARA 2007, Whistler, Canada, July 18 - 21, 2007. Ian Miguel ; Wheeler Ruml (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4612 : Lecture notes in artificial intelligence)
ISBN 978-3-540-73580-9
Lizenzpflichtig
Quelle: DNB
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
