×

zbMATH — the first resource for mathematics

Found 56 Documents (Results 1–56)

100
MathJax
Abdulla, Parosh Aziz (ed.) et al., Tools and algorithms for the construction and analysis of systems. 17th international conference, TACAS 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-19834-2/pbk). Lecture Notes in Computer Science 6605, 45-59 (2011).
MSC:  68T15 03B25 03B35 03D40
PDF BibTeX XML Cite
Full Text: DOI
Albers, Susanne (ed.) et al., STACS 2009. 26th international symposium on theoretical aspects of computer science, Freiburg, Germany, February 26–28, 2009. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-09-5). LIPIcs – Leibniz International Proceedings in Informatics 3, 433-444, electronic only (2009).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link
Leivant, Daniel (ed.) et al., Logic, language, information and computation. 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73443-7/pbk). Lecture Notes in Computer Science 4576, 72-82 (2007).
MSC:  03C64 03B25 03C13
PDF BibTeX XML Cite
Full Text: DOI
Guest, Martin (ed.) et al., Differential geometry and integrable systems. Proceedings of the conference, Tokyo, Japan, July 17–21, 2000. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-2938-6/pbk). Contemp. Math. 308, 199-204 (2002).
MSC:  53C43 58E20
PDF BibTeX XML Cite
Cioranescu, Doina (ed.) et al., Homogenization and applications to material sciences. Proceedings of the international conference, Nice, France, June 6–10, 1995. Tokyo: Gakkotosho. GAKUTO Int. Ser., Math. Sci. Appl. 9, 271-278 (1995).
MSC:  74K15 35Q72
PDF BibTeX XML Cite
Schock, Eberhard (ed.), Beiträge zur Angewandten Analysis und Informatik. Helmut Brakhage zu Ehren. Aachen: Shaker Verlag. Berichte aus der Mathematik. 248-261 (1994).
MSC:  68Q45
PDF BibTeX XML Cite

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