Automated technology for verification and analysis
: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4218)
ISBN 978-3-540-47238-4
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ; Wenhui Zhang (ed.). - Berlin : Springer, 2006. - XIV, 540 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4218)
ISBN 978-3-540-47237-7 / 3-540-47237-1 kart. : EUR 72.76 (freier Pr.), sfr 120.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Der Bildermacher
: Kriminalroman / Susanne Graf. Ungekürzte Lesung von Michael Seeboth. - Daun/Vulkaneifel : TechniSat Digital, Radioropa Hörbuch, 2009. - 8 CDs, 1 CD (DAISY-MP3); 12 cm, in Behältnis 13 x 13 x 4 cm - (Krimi-Bibliothek)
ISBN 978-3-8368-0536-0 : EUR 17.95 (freier Pr.), sfr 32.90
Quelle: DNB
Model checking software
: proceedings / 11th International SPIN Workshop, Barcelona, Spain, April 1- 3, 2004. Susanne Graf ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2989)
ISBN 978-3-540-24732-6
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 11th International SPIN Workshop, Barcelona, Spain, April 1- 3, 2004. Susanne Graf ; Laurent Mounier (ed.). - Berlin : Springer, 2004. - X, 307 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2989)
ISBN 978-3-540-21314-7 / 3-540-21314-7 kart. : EUR 51.36
Literaturangaben
Quelle: DNB
Möstl, Markus: Polizei- und Ordnungsrecht Niedersachsen
: Kommentar / herausgegeben von Prof. Dr. Markus Möstl (Professor an der Universität Bayreuth), Prof. a.D. Dr. Bernhard Weiner (Rechtsanwalt, Meppen, Professor an der Polizeiakademie Niedersachsen a.D.) ; Bearbeiterverzeichnis Prof. Dr. Markus Möstl (Universität Bayreu. - München : C.H. Beck, 2020. - XVII, 904 Seiten; 25 cm, 1608 g - (Landesrecht Niedersachsen)
ISBN 978-3-406-74760-1 / 3-406-74760-4 Leinen : EUR 109.00 (DE)
Quelle: DNB
Möstl, Markus: Polizei- und Ordnungsrecht Niedersachsen
: Kommentar / herausgegeben von Prof. Dr. Markus Möstl (Universität Bayreuth, Lehrstuhl Öffentliches Recht II), Prof. a.D. Dr. Bernhard Weiner (Rechtsanwalt, Meppen; Professor an der Polizeiakademie Niedersachsen a.D.) ; Bearbeiterverzeichnis Prof. Dr. Markus Möstl (Un. - 2. Auflage - München : C.H. Beck, 2025. - XVI, 1048 Seiten; 25 cm, 1424 g - (Landesrecht Niedersachsen)
ISBN 978-3-406-81839-4 / 3-406-81839-0 Gewebe : circa EUR 129.00 (DE)
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 6th international conference ; proceedings / TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Susanne Graf ; Michael Schwartzbach (ed.). - Berlin : Springer, 2000. - XIV, 552 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1785)
ISBN 978-3-540-67282-1 / 3-540-67282-6 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 6th international conference ; proceedings / TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000. S. Graf ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1785)
ISBN 978-3-540-46419-8
Lizenzpflichtig
Quelle: DNB
