Hybrid systems : computation and control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, proceedings / Rupak Majumdar, Paulo Tabuada (Eds.).
Material type:
TextPublisher number: 12634446Series: Lecture notes in computer science ; 5469.Publication details: Berlin ; Heidelberg : Springer-Verlag, ©2009.Description: 1 online resourceContent type: - text
- computer
- online resource
- 9783642006029
- 3642006027
- 9783642006012
- 3642006019
- HSCC 2009
- Hybrid systems -- Congresses
- Systèmes dynamiques hybrides -- Congrès
- Informatique
- Hybrid systems
- Hybrides System
- Hybridrechner
- simulatiemodellen
- simulation models
- systemen
- systems
- procesarchitectuur
- process architecture
- computational science
- software engineering
- computerwetenschappen
- computer sciences
- Information and Communication Technology (General)
- Informatie- en communicatietechnologie (algemeen)
- 006.3/37 22
- QA76.38 .H733 2009
- SS 4800
- DAT 240f
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
International conference proceedings.
Includes index.
Includes bibliographical references and index.
Print version record.