×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–3)

Češka, Milan (ed.) et al., Computational methods in systems biology. 16th international conference, CMSB 2018, Brno, Czech Republic, September 12–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99428-4/pbk; 978-3-319-99429-1/ebook). Lecture Notes in Computer Science 11095. Lecture Notes in Bioinformatics, 93-110 (2018).
MSC:  92C35 92C40 05C90
BibTeX Cite
Full Text: DOI
Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 469-483 (2015).
MSC:  92C42 68Q60
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software