×

zbMATH — the first resource for mathematics

Found 275 Documents (Results 1–100)

100
MathJax
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-055-2). LIPIcs – Leibniz International Proceedings in Informatics 93, Article 7, 14 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 8, 19 p. (2017).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 7, 17 p. (2017).
MSC:  68Q85 03B45
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 6, 15 p. (2017).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Carayol, Arnaud (ed.) et al., Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-60133-5/pbk; 978-3-319-60134-2/ebook). Lecture Notes in Computer Science 10329, 64-75 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Carayol, Arnaud (ed.) et al., Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-60133-5/pbk; 978-3-319-60134-2/ebook). Lecture Notes in Computer Science 10329, 1-13 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-52233-3/pbk; 978-3-319-52234-0/ebook). Lecture Notes in Computer Science 10145, 266-287 (2017).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Program. Comput. Softw. 42, No. 4, 239-256 (2016); translation from Programmirovanie 42, No. 4, 69-92 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Mazzara, Manuel (ed.) et al., Perspectives of system informatics. 10th international Andrei Ershov informatics conference, PSI 2015, in memory of Helmut Veith, Kazan and Innopolis, Russia, August 24–27, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-41578-9/pbk; 978-3-319-41579-6/ebook). Lecture Notes in Computer Science 9609, 245-259 (2016).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40945-0/pbk; 978-3-319-40946-7/ebook). Lecture Notes in Computer Science 9705, 64-76 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 98-117 (2016).
MSC:  68Q60 03B44 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Dinh, Thang N. (ed.) et al., Computing and combinatorics. 22nd international conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2–4, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42633-4/pbk; 978-3-319-42634-1/ebook). Lecture Notes in Computer Science 9797, 611-622 (2016).
MSC:  68Rxx
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49629-9/pbk; 978-3-662-49630-5/ebook). Lecture Notes in Computer Science 9634, 126-141 (2016).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21400-9/pbk; 978-3-319-21401-6/ebook). Lecture Notes in Computer Science 9195. Lecture Notes in Artificial Intelligence, 197-213 (2015).
MSC:  03B35 68T15
PDF BibTeX XML Cite
Full Text: DOI
Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 307-337 (2014).
MSC:  03B15 03C85 03C98
PDF BibTeX XML Cite
Full Text: DOI arXiv
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 1-15 (2013).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI
Kniesel, Günter (ed.) et al., 9th international workshop on rule-based programming (Rule 2008), Hagenberg Castle, Hagenberg, Austria, July 14–18, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 290, 19-36 (2012).
MSC:  68Q60 03B44 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Bezhanishvili, Nick (ed.) et al., Lectures on logic and computation. ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011. Selected lecture notes. Berlin: Springer (ISBN 978-3-642-31484-1/pbk). Lecture Notes in Computer Science 7388, 210-263 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 62-76 (2011).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI arXiv
Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 366-381 (2011).
MSC:  68Q60 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