×

zbMATH — the first resource for mathematics

Found 877 Documents (Results 1–100)

100
MathJax
Sun, Xiaoming (ed.) et al., Theoretical computer science. 37th national conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1069, 64-75 (2019).
MSC:  68Q45 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 235-252 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Andrews, George E. (ed.) et al., Lattice path combinatorics and applications. Based on the 8th international conference on lattice path combinatorics and applications, California State Polytechnic University, Pomona (Cal Poly Pomona), CA, USA, August 17–20, 2015. Cham: Springer. Dev. Math. 58, 78-118 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94820-1/pbk; 978-3-319-94821-8/ebook). Lecture Notes in Computer Science 10895, 253-269 (2018).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 96, 14 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 19, 15 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Kärkkäinen, Juha (ed.) et al., 28th annual symposium on combinatorial pattern matching. CPM 2017, Warsaw, Poland, July 4–6, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 78, Article 7, 13 p. (2017).
MSC:  68P05 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Fédou, Jean-Marc (ed.) et al., Random generation of combinatorial structures – GASCom 2016. Proceedings of the 10th GASCom conference, Centre IGESA, La Marana, Corsica, France, June 1 – June 4, 2016. Amsterdam: Elsevier. Electron. Notes Discrete Math. 59, 131-146 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 344-358 (2017).
MSC:  68Q45 68N30 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-55910-0/pbk; 978-3-319-55911-7/ebook). Lecture Notes in Computer Science 10185, 231-246 (2017).
MSC:  68Q05
PDF BibTeX XML Cite
Full Text: DOI
Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 41, 16 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 17, 16 p. (2016).
MSC:  03C13 03B15 03D05
PDF BibTeX XML Cite
Full Text: DOI
Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53041-2/pbk; 978-3-662-53042-9/ebook). Lecture Notes in Computer Science 9804, 77-93 (2016).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Proc. Steklov Inst. Math. 293, Suppl. 1, S17-S21 (2016); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 21, No. 2, 21-25 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9618, 371-383 (2016).
MSC:  68Q45 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 1-16 (2015).
MSC:  03F05 03D05 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Drewes, Frank (ed.), Implementation and application of automata. 20th international conference, CIAA 2015, Umeå, Sweden, August 18–21, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-22359-9/pbk; 978-3-319-22360-5/ebook). Lecture Notes in Computer Science 9223, 250-262 (2015).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Calude, S. (ed.) et al., Unconventional computation and natural computation. 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 – September 3, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21818-2/pbk; 978-3-319-21819-9/ebook). Lecture Notes in Computer Science 9252, 157-168 (2015).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Italiano, Giuseppe F. (ed.) et al., SOFSEM 2015: theory and practice of computer science. 41st international conference on current trends in theory and practice of computer science, Pec pod Sněžkou, Czech Republic, January 24–29, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46077-1/pbk). Lecture Notes in Computer Science 8939, 302-313 (2015).
MSC:  68Q45 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 47, 10 p. (2014).
MSC:  68Q15 03F30 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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