×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–6)

100
MathJax
Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 237-242 (2017).
MSC:  94A12 68T05
PDF BibTeX XML Cite
Full Text: DOI
Bogomolov, Sergiy (ed.) et al., Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17–18, 2014 and April 13, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 317, 19-25 (2015).
MSC:  68Q60 68T15 93C30
PDF BibTeX XML Cite
Full Text: DOI
Cojocaru, Monica G. (ed.) et al., Interdisciplinary topics in applied mathematics, modeling and computational science. Selected papers based on the presentations at the 2nd conference, AMMCS 2013, Waterloo, Canada, August 26–30, 2013. Cham: Springer (ISBN 978-3-319-12306-6/hbk; 978-3-319-12307-3/ebook). Springer Proceedings in Mathematics & Statistics 117, 259-264 (2015).
MSC:  37M25
PDF BibTeX XML Cite
Full Text: DOI
Finkbeiner, Bernd (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24952-0/pbk; 978-3-319-24953-7/ebook). Lecture Notes in Computer Science 9364, 500-517 (2015).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 253-262 (2014).
MSC:  93C30 93A30 93C95 03B80
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 133-142 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Reviewing State
Year of Publication
all top 3
Classification
all top 3
Software