×

zbMATH — the first resource for mathematics

Found 12 Documents (Results 1–12)

100
MathJax
Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 180-193 (2009).
PDF BibTeX XML Cite
Full Text: DOI
de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Berlin: Springer (ISBN 978-3-540-92187-5/pbk). Lecture Notes in Computer Science 5382, 200-225 (2008).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 721-742 (2008).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
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, 491-506 (2006).
MSC:  93C95 68Q05 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Foundations and Trends in Electronic Design Automation. Boston, MA: now (ISBN 1-933019-28-X/pbk). x, 194 p. (2006).
MSC:  68M99 68U20 68Q65 68-01
PDF BibTeX XML Cite
Full Text: DOI
Morari, Manfred (ed.) et al., Hybrid systems: Computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9–11, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25108-1/pbk). Lecture Notes in Computer Science 3414, 526-541 (2005).
MSC:  93C95
PDF BibTeX XML Cite
Full Text: DOI
Henzinger, Thomas A. (ed.) et al., Embedded software. 1st international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8–10, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42673-6). Lect. Notes Comput. Sci. 2211, 324-343 (2001).
MSC:  68N99
PDF BibTeX XML Cite
Full Text: Link