Hybrid Systems: Computation and Control [Risorsa elettronica] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Rupak Majumdar, Paulo Tabuada |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783642006029 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009259550403321 |
Berlin ; Heidelberg : Springer, 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Verification and control of hybrid systems : a symbolic approach / Paulo Tabuada ; foreword by Rajeev Alur |
Autore | Tabuada, Paulo |
Pubbl/distr/stampa | Dordrecht [etc.] : Springer, 2009 |
Descrizione fisica | xv, 202 p. : ill. ; 24 cm |
Soggetto non controllato |
Geometria algebrica
Topologia Topologia algebrica Sistemi dinamici Frattali matematici |
ISBN | 978-1-4419-0223-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009620530403321 |
Tabuada, Paulo
![]() |
||
Dordrecht [etc.] : Springer, 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Verification and control of hybrid systems [e-book] : A symbolic approach / by Paulo Tabuada |
Autore | Tabuada, Paulo |
Pubbl/distr/stampa | Boston, MA : Springer, 2009 |
Descrizione fisica | v.: digital |
Soggetto topico |
Computer science
Systems theory |
ISBN | 9781441902245 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000525109707536 |
Tabuada, Paulo
![]() |
||
Boston, MA : Springer, 2009 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|