×

zbMATH — the first resource for mathematics

Found 106 Documents (Results 1–100)

100
MathJax
Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 3-19, electronic only (2014).
MSC:  68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Simao, Adenilso (ed.) et al., Formal methods, foundations and applications. 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26–30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25031-6/pbk). Lecture Notes in Computer Science 7021, 28-43 (2011).
MSC:  68N15 68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Peleg, David (ed.), Distributed computing. 25th international symposium, DISC 2011, Rome, Italy, September 20–22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24099-7/pbk). Lecture Notes in Computer Science 6950, 125-140 (2011).
MSC:  68M14 68N19
PDF BibTeX XML Cite
Full Text: DOI
Owe, Olaf (ed.) et al., Fundamentals of computation theory. 18th international symposium, FCT 2011, Oslo, Norway, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22952-7/pbk). Lecture Notes in Computer Science 6914, 160-172 (2011).
MSC:  68N30 03B70 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 256-275 (2011).
MSC:  68N15 68N30
PDF BibTeX XML Cite
Full Text: DOI
Beckert, Bernhard (ed.) et al., Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28–30, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18069-9/pbk). Lecture Notes in Computer Science 6528, 61-75 (2011).
MSC:  68N30 68N19 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Moreira, Anamaria Martins (ed.) et al., Proceedings of the Brazilian symposium on formal methods (SBMF 2006), Natal, Rio Grande de Norte, Brazil, September 17–23, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 195, 189-209 (2008).
MSC:  68N30 68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI
King, Andy (ed.), Logic-based program synthesis and transformation. 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23–24, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-78768-6/pbk). Lecture Notes in Computer Science 4915, 154-168 (2008).
MSC:  68N19
PDF BibTeX XML Cite
Full Text: DOI
Schürmann, C. (ed.), Proceedings of the fourth international workshop on logical frameworks and meta-languages (LFM 2004), Cork, UK, July 5, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 199, 107-128 (2008).
MSC:  68T15 03B70
PDF BibTeX XML Cite
Full Text: DOI
Program. Comput. Softw. 32, No. 4, 203-214 (2006); translation from Programmirovanie 2006, No. 4, 21-37 (2006).
MSC:  68N19
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software