Formal modeling and analysis of timed systems
: 5th international conference ; proceedings / FORMATS 2007, Salzburg, Austria, October 3 - 5, 2007. Jean-François Raskin ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4763)
ISBN 978-3-540-75454-1
Lizenzpflichtig
Quelle: DNB
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
Hybrid and real time systems
: international workshop ; proceedings / HART '97, Grenoble, France, March 26 - 28, 1997. Oded Maler (ed.). - Berlin : Springer, 1997. - IX, 414 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1201)
ISBN 978-3-540-62600-8 / 3-540-62600-X kart. : DM 90.00
Literaturangaben
Quelle: DNB
Hybrid estimation of complex systems
/ Michael W. Hofbaur. - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in control and information sciences; 319)
ISBN 978-3-540-31587-2
Lizenzpflichtig
Quelle: DNB
Hybrid systems
: computation and control ; 10th international workshop ; proceedings / HSCC 2007, Pisa, Italy, April 3 - 5, 2007. Alberto Bemporad ... (ed.). - Berlin : Springer, 2007. - XVII, 797 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4416)
ISBN 978-3-540-71492-7 / 3-540-71492-8 kart. : EUR 93.09 (freier Pr.), sfr 143.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Hybrid systems
: computation and control ; 6th international workshop ; proceedings / HSCC 2003, Prague, Czech Republic, April 3 - 5, 2003. Oded Maler ; Amir Pnueli (ed.). - Berlin : Springer, 2003. - XII, 558 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2623)
ISBN 978-3-540-00913-9 / 3-540-00913-2 kart. : EUR 70.62
Literaturangaben
Quelle: DNB
Hybrid systems
: computation and control ; 5th international workshop ; proceedings / HSCC 2002, Stanford, CA, USA, March 25 - 27, 2002. Claire J. Tomlin ; Mark R. Greenstreet (ed.). - Berlin : Springer, 2002. - XIII, 480 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2289)
ISBN 978-3-540-43321-7 / 3-540-43321-X kart. : EUR 59.92
Literaturangaben
Quelle: DNB
Hybrid systems
: computation and control ; 4th international workshop ; proceedings / HSCC 2001, Rome, Italy, March 28 - 30, 2001. Maria Domenica Di Benedetto ; Alberto Sangiovanni-Vincentelli (ed.). - Berlin : Springer, 2001. - XIV, 516 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2034)
ISBN 978-3-540-41866-5 / 3-540-41866-0 kart. : DM 118.00
Literaturangaben
Quelle: DNB
Hybrid systems
: computation and control ; 7th international workshop ; proceedings / HSCC 2004, Philadelphia, PA, USA, March 25 - 27, 2004. Rajeev Alur ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2993)
ISBN 978-3-540-24743-2
Lizenzpflichtig
Quelle: DNB
