Model-based reasoning in science, technology, and medicine
: with 7 tables / Lorenzo Magnani ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Studies in computational intelligence; Vol. 64)
ISBN 978-3-540-71986-1
Lizenzpflichtig
Quelle: DNB
Model based software and data integration
: first international workshop ; proceedings / MBSDI 2008, Berlin, Germany, April 1 - 3, 2008. Ralf-Detlef Kutsche ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Communications in computer and information science; 8)
ISBN 978-3-540-78999-4
Lizenzpflichtig
Quelle: DNB
Model based testing of reactive systems
: advanced lectures / Manfred Broy ... (ed.). - Berlin : Springer, 2005. - VIII, 659 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3472 : Tutorial)
ISBN 978-3-540-26278-7 / 3-540-26278-4 kart. : EUR 73.83 (freier Pr.), sfr 122.00 (freier Pr.)
Literaturverz. S. 617 - 651
Quelle: DNB Verlagsmeldungen
Model based testing of reactive systems
: advanced lectures / Manfred Broy ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3472)
ISBN 978-3-540-32037-1
Lizenzpflichtig
Quelle: DNB
Model checking and artificial intelligence
: 4th workshop ; revised selected and invited papers / MoChArt IV, Riva del Garda, Italy, August 29, 2006. Stefan Edelkamp ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4428 : Lecture notes in artificial intelligence)
ISBN 978-3-540-74128-2
Lizenzpflichtig
Quelle: DNB
Quintarelli, Elisa: Model checking based data retrieval
: an application to semistructured and temporal data / Elisa Quintarelli. - Berlin : Springer, 2004. - XVI, 134 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2917)
ISBN 978-3-540-20971-3 / 3-540-20971-9 kart. : EUR 40.66 (freier Pr.), sfr 69.50
Literaturverz. S. 129 - 134
Quelle: DNB Verlagsmeldungen
Model checking based data retrieval
: an application to semistructured and temporal data / Elisa Quintarelli. - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2917)
ISBN 978-3-540-24603-9
Lizenzpflichtig
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
Model checking software
: proceedings / 9th International SPIN Workshop, Grenoble, France, April 11 - 13, 2002. D. Bos̆nac̆ki ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2318)
ISBN 978-3-540-46017-6
Lizenzpflichtig
Quelle: DNB
