Egerstedt, Magnus.

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / [electronic resource] : edited by Magnus Egerstedt, Bud Mishra. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - v.: digital - Lecture Notes in Computer Science, 4981 0302-9743 ; .

9783540789291


Computer science
Software engineering
Logic design
Computer simulation
Computer Science
Special Purpose and Application-Based Systems
Processor Architectures
Logics and Meanings of Programs
Software Engineering
Computation by Abstract Devices
Simulation and Modeling

QA76.38 / E34 2008