Hybrid systems computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings /
Hybrid systems computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings / [electronic resource] :
HSCC 2009
edited by Rupak Majumdar, Paulo Tabuada.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- xiv, 492 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5469 0302-9743 ; .
9783642006029 (electronic bk.) 9783642006012 (paper)
Hybrid computers--Congresses.
Processor Architectures.
Simulation and Modeling.
Logics and Meanings of Programs.
Special Purpose and Application-Based Systems.
Computer Science.
Computation by Abstract Devices.
Software Engineering.
QA76.38 / .H73 2009
629.89
9783642006029 (electronic bk.) 9783642006012 (paper)
Hybrid computers--Congresses.
Processor Architectures.
Simulation and Modeling.
Logics and Meanings of Programs.
Special Purpose and Application-Based Systems.
Computer Science.
Computation by Abstract Devices.
Software Engineering.
QA76.38 / .H73 2009
629.89