×

zbMATH — the first resource for mathematics

Found 29 Documents (Results 1–29)

100
MathJax
Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 71-87 (2009).
MSC:  68Q65 68N30
PDF BibTeX XML Cite
Full Text: DOI
Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 241-254 (2009).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FinCo 2007), Braga, Portugal, March 31, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 3, 19-34 (2008).
MSC:  68N30 68N19 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Caillaud, Benoit (ed.) et al., VISS 2002. Proceedings of the international workshop on validation and implementation of scenario-based specifications (satellite event of ETAPS 2002), Grenoble, France, April 6–14, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 7, 34-50 (2002).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
all top 5
Year of Publication
all top 3
Classification