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
- Berlin : Springer, 1999. - X, 444 S. : graph. Darst. - (Lecture notes in computer science; 1567)
ISBN 978-3-540-65643-2 / 3-540-65643-X kart. : DM 102.00
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
Hybrid systems
: computation and control ; 7th international workshop ; proceedings / HSCC 2004, Philadelphia, PA, USA, March 25 - 27, 2004. Rajeev Alur ; George J. Pappas (ed.). - Berlin : Springer, 2004. - XII, 674 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2993)
ISBN 978-3-540-21259-1 / 3-540-21259-0 kart. : EUR 81.32, sfr 128.50
Literaturangaben
Quelle: DNB Verlagsmeldungen
Hybrid systems
: computation and control ; third international workshop ; proceedings / HSCC 2000, Pittsburgh, PA, USA, March 2000. Nancy Lynch ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1790)
ISBN 978-3-540-46430-3
Lizenzpflichtig
Quelle: DNB
Hybrid systems
: computation and control ; 5th international workshop ; proceedings / HSCC 2002, Stanford, CA, USA, March 25 - 27, 2002. C. J. Tomlin ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2289)
ISBN 978-3-540-45873-9
Lizenzpflichtig
Quelle: DNB
Hybrid systems
: computation and control ; 4th international workshop ; proceedings / HSCC 2001, Rome, Italy, March 28 - 30, 2001. M. D. Di Benedetto ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2034)
ISBN 978-3-540-45351-2
Lizenzpflichtig
Quelle: DNB
