×

zbMATH — the first resource for mathematics

Found 12 Documents (Results 1–3)

Dunne, Steve (ed.) et al., Unifying theories of programming. First international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5–7, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-34750-7/pbk). Lecture Notes in Computer Science 4010, 85-100 (2006).
MSC:  68N30 68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org
Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2004. First international colloquium, Guiyang, China, September 20–24, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25304-1/pbk). Lecture Notes in Computer Science 3407, 478-493 (2005).
MSC:  68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software