Formal modeling and analysis of timed systems
: 4th international conference ; proceedings / FORMATS 2006, Paris, France, September 25 - 27, 2006. Eugene Asarin ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4202)
ISBN 978-3-540-45031-3
Lizenzpflichtig
Quelle: DNB
Formal modeling and analysis of timed systems
: third international conference ; proceedings / FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005. Paul Pettersson ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3829)
ISBN 978-3-540-31616-9
Lizenzpflichtig
Quelle: DNB
Formal techniques, modelling and analysis of timed and fault tolerant systems
: proceedings / Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004. Yassine Lakhnech ; Sergio Yovine (ed.). - Berlin : Springer, 2004. - X, 395 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3253)
ISBN 978-3-540-23167-7 / 3-540-23167-6 kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Optimal control of constrained piecewise affine systems
/ Frank J. Christophersen. - Berlin : Springer, 2007. - Online-Publikation - (Lecture notes in control and information sciences; 359)
ISBN 978-3-540-72701-9
Lizenzpflichtig
Quelle: DNB
Lozovanu, Dmitrii: Optimization and multiobjective control of time discrete systems
: dynamic networks and multilayered structures / Dmitrii Lozovanu ; Stefan Pickl. - Berlin : Springer, 2009. - XVI, 285 S. : graph. Darst.; 24 cm
ISBN 978-3-540-85024-3 Pp. : EUR 96.25 (freier Pr.)
Literaturverz. S. 277 - 282
Quelle: DNB Verlagsmeldungen
Matsuo, Tsuyoshi: Realization theory of discrete time dynamical systems
/ Tsuyoshi Matsuo ; Yasumichi Hasegawa. - Berlin : Springer, 2003. - X, 232 S. : graph. Darst.; 24 cm - (Lecture notes in control and information sciences; Vol. 296)
ISBN 978-3-540-40675-4 / 3-540-40675-1 kart. : EUR 85.55
Literaturverz. S. 219 - 225
Quelle: DNB
Realization theory of discrete time dynamical systems
/ Tsuyoshi Matsuo .... - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in control and information sciences; 296)
ISBN 978-3-540-45149-5
Lizenzpflichtig
Quelle: DNB
Franke, Dieter: Sequentielle Systeme
: binäre und Fuzzy-Automatisierung mit arithmetischen Polynomen ; mit 31 Tabellen / Dieter Franke. - Braunschweig : Vieweg, 1994. - VIII, 260 S. : graph. Darst.; 23 cm
ISBN 978-3-528-06527-0 / 3-528-06527-3 kart. : DM 49.00
Quelle: DNB
