×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Caires, Luís (ed.) et al., Automata, languages and programming. 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27580-0/pbk). Lecture Notes in Computer Science 3580, 1102-1114 (2005).
MSC:  68Q45
BibTeX Cite
Full Text: DOI
WorldCat.org
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, 14-31 (2001).
MSC:  68M99 68N99
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification
Software