×

zbMATH — the first resource for mathematics

Found 276 Documents (Results 1–100)

100
MathJax
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 728-741 (2020).
MSC:  68
PDF BibTeX XML Cite
Full Text: DOI
Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 108-121 (2019).
MSC:  68T20 68R07
PDF BibTeX XML Cite
Full Text: DOI
Rousseau, Louis-Martin (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 16th international conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19211-2/pbk; 978-3-030-19212-9/ebook). Lecture Notes in Computer Science 11494, 112-128 (2019).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
Rousseau, Louis-Martin (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 16th international conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19211-2/pbk; 978-3-030-19212-9/ebook). Lecture Notes in Computer Science 11494, 39-56 (2019).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 620-636 (2018).
MSC:  68T20 68W40
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 583-603 (2018).
MSC:  68T20 03B70
PDF BibTeX XML Cite
Full Text: DOI
Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 209-217 (2018).
MSC:  68W30 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 85, 13 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-72452-2/pbk; 978-3-319-72453-9/ebook). Lecture Notes in Computer Science 10693, 147-162 (2017).
MSC:  68
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 65-84 (2017).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 31-48 (2017).
MSC:  68T20 03B10 68T15
PDF BibTeX XML Cite
Full Text: DOI
Dimov, Ivan (ed.) et al., Numerical analysis and its applications. 6th international conference, NAA 2016, Lozenetz, Bulgaria, June 15–22, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-57098-3/pbk; 978-3-319-57099-0/ebook). Lecture Notes in Computer Science 10187, 769-776 (2017).
MSC:  68M07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Jansen, Klaus (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. Proceedings of the 19th international workshop on approximation algorithms for combinatorial optimization problems, APPROX 2016, and the 20th international workshop on randomization and computation, RANDOM 2016, Paris, France, September 7–9, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-018-7). LIPIcs – Leibniz International Proceedings in Informatics 60, Article 22, 18 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 65, 12 p. (2016).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI arXiv
Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42431-6/pbk; 978-3-319-42432-3/ebook). Lecture Notes in Computer Science 9725, 51-58 (2016).
MSC:  68U05 57M25 68T15
PDF BibTeX XML Cite
Full Text: DOI
Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40969-6/pbk; 978-3-319-40970-2/ebook). Lecture Notes in Computer Science 9710, 60-76 (2016).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Krzakala, Florent (ed.) et al., Statistical physics, optimization, inference and message-passing algorithms. Lecture notes of the Les Houches School of Physics (École de Physique des Houches): special issue, Les Houches, France, September 30 – October 11, 2013. Oxford: Oxford University Press (ISBN 978-0-19-874373-6/hbk). 231-251 (2016).
MSC:  68T20 60C05 82B26
PDF BibTeX XML Cite
Full Text: DOI
Krzakala, Florent (ed.) et al., Statistical physics, optimization, inference and message-passing algorithms. Lecture notes of the Les Houches School of Physics (École de Physique des Houches): special issue, Les Houches, France, September 30 – October 11, 2013. Oxford: Oxford University Press (ISBN 978-0-19-874373-6/hbk). 29-60 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24317-7/pbk; 978-3-319-24318-4/pbk). Lecture Notes in Computer Science 9340, 104-120 (2015).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24317-7/pbk; 978-3-319-24318-4/pbk). Lecture Notes in Computer Science 9340, 33-45 (2015).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Endriss, Ulle (ed.) et al., STAIRS 2014. Proceedings of the 7th European starting AI researcher symposium, Prague, Czech Republic, August 18–19, 2014. Amsterdam: IOS Press (ISBN 978-1-61499-420-6/hbk; 978-1-61499-421-3/ebook). Frontiers in Artificial Intelligence and Applications 264, 211-219 (2014).
MSC:  68T20 03B05
PDF BibTeX XML Cite
Full Text: Link
McMillan, Kenneth L. (ed.) et al., Verification, model checking, and abstract interpretation. 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19–21, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8318, 1-20 (2014).
MSC:  68M07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Sinz, Carsten (ed.) et al., Theory and applications of satisfiability testing – SAT 2014. 17th international conference, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8561, 415-421 (2014).
MSC:  68Q17 68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Sinz, Carsten (ed.) et al., Theory and applications of satisfiability testing – SAT 2014. 17th international conference, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8561, 188-196 (2014).
MSC:  68T20
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
all top 3
Software