×

zbMATH — the first resource for mathematics

Found 5 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
Author
Year of Publication
Classification
Software