×

zbMATH — the first resource for mathematics

Found 584 Documents (Results 1–100)

100
MathJax
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 76-93 (2021).
MSC:  68V15 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 20, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Memoirs of the American Mathematical Society 1281. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4143-2/pbk; 978-1-4704-5804-1/ebook). v, 106 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Janota, Mikoláš (ed.) et al., Theory and applications of satisfiability testing – SAT 2019. 22nd international conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11628, 354-370 (2019).
MSC:  68T05 68T10
PDF BibTeX XML Cite
Full Text: DOI
Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11388, 535-554 (2019).
MSC:  68Q60
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. Lect. Notes Comput. Sci. 11494, 581-598 (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. Lect. Notes Comput. Sci. 11494, 565-580 (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. Lect. Notes Comput. Sci. 11494, 519-528 (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. Lect. Notes Comput. Sci. 11494, 57-66 (2019).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
Hanneke, Steve (ed.) et al., International conference on algorithmic learning theory. Proceedings of the 28th conference (ALT 2017), Kyoto University, Kyoto, Japan, October 15–17, 2017. [s.l.]: Proceedings of Machine Learning Research PMLR. Proceedings of Machine Learning Research (PMLR) 76, 360-371 (2017).
MSC:  68T05
PDF BibTeX XML Cite
Full Text: Link
Devitt, Simon (ed.) et al., Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9720, 307-321 (2016).
MSC:  68Q05 68Q10 81P68 94C10
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. LIPIcs – Leibniz Int. Proc. Inform. 38, 60-75 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 328-341 (2015).
MSC:  68N20 68N19 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9138, 186-199 (2015).
MSC:  68Q06 68Q09
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 357-368 (2015).
MSC:  68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Russ. Math. 59, No. 11, 26-35 (2015); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2015, No. 11, 32-45 (2015).
MSC:  68Q05 68P05 68Q12 81P68
PDF BibTeX XML Cite
Full Text: DOI
Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9161, 541-551 (2015).
MSC:  68T37 62H22
PDF BibTeX XML Cite
Full Text: DOI
Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 505-516 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Ahn, Hee-Kap (ed.) et al., Algorithms and computation. 25th international symposium, ISAAC 2014, Jeonju, Korea, December 15–17, 2014. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 8889, 103-114 (2014).
MSC:  05C20 05C10
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