×

zbMATH — the first resource for mathematics

Found 42 Documents (Results 1–42)

100
MathJax
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 146-158 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Klein, Gerwin (ed.) et al., Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8558, 549-554 (2014).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 443-456 (2013).
MSC:  68N30 68N20 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Piterman, Nir (ed.) et al., Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36741-0/pbk). Lecture Notes in Computer Science 7795, 478-492 (2013).
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 172, No. 5, 740-750 (2011); translation from Fundam. Prikl. Mat. 15, No. 5, 181-198 (2009).
MSC:  68Q70 68N19 68N99
PDF BibTeX XML Cite
Full Text: DOI
Sarbazi-Azad, Hamid (ed.) et al., Advances in computer science and engineering. 13th international CSI computer conference, CSICC 2008, Kish Island, Iran, March 9–11, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89984-6/pbk; 978-3-540-89985-3/ebook). Communications in Computer and Information Science 6, 697-704 (2008).
MSC:  68M99
PDF BibTeX XML Cite
Full Text: DOI
van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 434-446 (2008).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 129-144 (2007).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Pierre, Laurence (ed.) et al., Correct hardware design and verification methods. 10th IFIP WG 10.5 advanced research working conference, CHARME ’99, Bad Herrenalb, Germany, September 27-29, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1703, 157-171 (1999).
MSC:  68Q60 94C10
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