×

zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–9)

100
MathJax
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
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