TY - GEN TY - GEN T1 - Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings T2 - Theoretical Computer Science and General Issues ; A2 - Hespanha, Joao. A2 - Hespanha, Joao. A2 - Tiwari, Ashish. A2 - Tiwari, Ashish. LA - English PP - Berlin, Heidelberg PB - Springer Berlin Heidelberg : Imprint: Springer YR - 2006 ED - 1st ed. 2006. UL - http://discoverylib.upm.edu.my/discovery/Record/978-3-540-33171-1 OP - 584 CN - QA75.5-76.95 SN - 9783540331711 KW - Computers. KW - Special purpose computers. KW - Microprocessors. KW - Computer logic. KW - Software engineering. KW - Theory of Computation. KW - Special Purpose and Application-Based Systems. KW - Processor Architectures. KW - Logics and Meanings of Programs. KW - Software Engineering. KW - Computation by Abstract Devices. ER -