Model abstraction in dynamical systems
: application to mobile robot control / Patricia Mellodge .... - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in control and information sciences; 379)
ISBN 978-3-540-70799-8
Lizenzpflichtig
Quelle: DNB
Natke, Hans Günther: Model aided diagnosis of mechanical systems
: fundamentals, detection, localization, assessment / H. G. Natke ; C. Cempel. - Berlin : Springer, 1997. - XIII, 248 S. : graph. Darst.; 25 cm
ISBN 978-3-540-61065-6 / 3-540-61065-0 Pp. : DM 168.00
Literaturverz. S. 225 - 237
Quelle: DNB
Särndal, Carl-Erik: Model assisted survey sampling
/ Carl-Erik Särndal ; Bengt Swensson ; Jan Wretman. - Corr. printing - New York : Springer, 1993. - XV, 694 S.; 25 cm - (Springer series in statistics)
ISBN 978-3-540-97528-1 / 3-540-97528-4 Pp.
Literaturverz. S. 666 - 679
Quelle: DNB
Palm, Rainer: Model based fuzzy control
: fuzzy gain schedulers and sliding mode fuzzy controllers / Rainer Palm ; Dimiter Driankov ; Hans Hellendoorn. - Berlin : Springer, 1997. - XIII, 184 S. : graph. Darst.; 24 cm
ISBN 978-3-540-61471-5 / 3-540-61471-0 Pp. : DM 58.00
Literaturverz. S. 175 - 177
Quelle: DNB
Model based reasoning in science, technology, and medicine
: with 7 tables / [MBR China 2006. In collab. with Department of Philosophy, Sun Yat-Sen University (China) & Department of Philosophy, University of Pavia (Italy)]. Lorenzo Magnani ; Ping Li (ed.). - Berlin : Springer, 2007. - XIII, 525 S. : graph. Darst.; 24 cm - (Studies in computational intelligence; Vol. 64)
ISBN 978-3-540-71985-4 / 3-540-71985-7 Pp. : EUR 149.75 (freier Pr.), sfr 229.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
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
