×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Bemporad, Alberto (ed.) et al., Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71492-7/pbk). Lecture Notes in Computer Science 4416, 90-103 (2007).
MSC:  93A30 68M20 93B03 93E03
BibTeX Cite
Full Text: DOI
WorldCat.org
Hespanha, João (ed.) et al., Hybrid systems: Computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29–31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33170-0/pbk). Lecture Notes in Computer Science 3927, 19-33 (2006).
MSC:  68Q60 68Q10
BibTeX Cite
Full Text: DOI
WorldCat.org
Díaz, Josep (ed.) et al., Automata, languages and programming. 31st international colloquium, ICALP 2004, Turku, Finland, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22849-7/pbk). Lecture Notes in Computer Science 3142, 122-133 (2004).
MSC:  68Q45 68Q25 91A55
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification
Software