×

zbMATH — the first resource for mathematics

Found 426 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 38, 16 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
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 26, 13 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 64, 13 p. (2017).
MSC:  68Q17 03B20 68R07
PDF BibTeX XML Cite
Full Text: DOI
Weil, Pascal (ed.), Computer science – theory and applications. 12th international computer science symposium in Russia, CSR 2017, Kazan, Russia, June 8–12, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10304, 141-153 (2017).
MSC:  68Q45 68Q05 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-53732-0/pbk; 978-3-319-53733-7/ebook). Lecture Notes in Computer Science 10168, 275-286 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-27682-3/pbk; 978-3-319-27683-0/ebook). Lecture Notes in Computer Science 9537, 187-201 (2016).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53131-0/pbk; 978-3-662-53132-7/ebook). Lecture Notes in Computer Science 9840, 190-202 (2016).
MSC:  68Q15 68Q05
PDF BibTeX XML Cite
Full Text: DOI
Cook, Matthew (ed.) et al., Cellular automata and discrete complex systems. 22nd IFIP WG 1.5 international workshop, AUTOMATA 2016, Zurich, Switzerland, June 15–17, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39299-8/pbk; 978-3-319-39300-1/ebook). Lecture Notes in Computer Science 9664, 159-169 (2016).
MSC:  68Q80 68Q05 68Q15
PDF BibTeX XML Cite
Full Text: DOI
Faber, Wolfgang (ed.) et al., Reasoning web. Web logic rules. 11th international summer school 2015, Berlin, Germany, July 31 – August 4, 2015. Tutorial lectures. Cham: Springer (ISBN 978-3-319-21767-3/pbk; 978-3-319-21768-0/ebook). Lecture Notes in Computer Science 9203, 193-217 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 452-463 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 414-426 (2015).
MSC:  68Q45 68Q15 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 121-133 (2015).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Rabani, Yuval (ed.), Proceedings of the 23rd annual ACM-SIAM symposium on discrete algorithms, SODA 2012, Kyoto, Japan, January 17–19, 2012. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 1386-1399 (2012).
PDF BibTeX XML Cite
Full Text: Link
Eiter, Thomas (ed.) et al., Reasoning web. Semantic technologies for advanced query answering. 8th international summer school 2012, Vienna, Austria, September 3–8, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33157-2/pbk). Lecture Notes in Computer Science 7487, 112-183 (2012).
MSC:  68T30 68M11
PDF BibTeX XML Cite
Full Text: DOI
Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 120-133 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Bodlaender, Hans L. (ed.) et al., The multivariate algorithmic revolution and beyond. Essays dedicated to Michael R. Fellows on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-30890-1/pbk). Lecture Notes in Computer Science 7370, 364-397 (2012).
MSC:  68Q25 68Q05
PDF BibTeX XML Cite
Full Text: DOI
Bieliková, Mária (ed.) et al., SOFSEM 2012: Theory and practice of computer science. 38th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 21–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27659-0/pbk). Lecture Notes in Computer Science 7147, 14-30 (2012).
MSC:  68Q05
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
Biographic Reference
all top 3
Software