×

zbMATH — the first resource for mathematics

Found 17 Documents (Results 1–17)

100
MathJax
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
Schmidt, Renate A. (ed.) et al., Automated reasoning with analytic tableaux and related methods. 26th international conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10501, 193-208 (2017).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 71-87 (2017).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Botón-Fernández, María (ed.) et al., Algorithms for computational biology. Third international conference, AlCoB 2016, Trujillo, Spain, June 21–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-38826-7/pbk; 978-3-319-38827-4/ebook). Lecture Notes in Computer Science 9702. Lecture Notes in Bioinformatics, 17-25 (2016).
MSC:  92C42 05C90
PDF BibTeX XML Cite
Full Text: DOI
Kordon, Fabrice (ed.) et al., Application and theory of Petri nets and concurrency. 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19–24, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39085-7/pbk; 978-3-319-39086-4/ebook). Lecture Notes in Computer Science 9698, 79-97 (2016).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
all top 3
Software