×

zbMATH — the first resource for mathematics

Found 169 Documents (Results 1–100)

100
MathJax
Nielsen, Frank (ed.) et al., Geometric science of information. 4th international conference, GSI 2019, Toulouse, France, August 27–29, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-26979-1/pbk; 978-3-030-26980-7/ebook). Lecture Notes in Computer Science 11712, 251-260 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Hatami, Hamed (ed.) et al., Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC ’17, Montreal, QC, Canada, June 19–23, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4528-6). 604-614 (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv
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). 143-152 (2017).
MSC:  93D30 93C55 93B40
PDF BibTeX XML Cite
Full Text: DOI
Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-21689-8/pbk; 978-3-319-21690-4/ebook). Lecture Notes in Computer Science 9206, 415-430 (2015).
MSC:  68Q60 68U05 90C22
PDF BibTeX XML Cite
Full Text: DOI
de Werra, Dominique (ed.) et al., Operations research and enterprise systems. 4th international conference, ICORES 2015, Lisbon, Portugal, January 10–12, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-27679-3/pbk; 978-3-319-27680-9/ebook). Communications in Computer and Information Science 577, 93-103 (2015).
MSC:  90C15 90C31 62D05
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 4th conference on innovations in theoretical computer science, ITCS’13, Berkeley, CA, USA, January 9–12, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1859-4). 197-214 (2013).
MSC:  68Q25 68Q17 90C22
PDF BibTeX XML Cite
Full Text: DOI
Sharygina, Natasha (ed.) et al., Computer aided verification. 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39798-1/pbk). Lecture Notes in Computer Science 8044, 242-257 (2013).
MSC:  68Q60 90C22
PDF BibTeX XML Cite
Full Text: DOI arXiv
Sorokin, Alexey (ed.) et al., Dynamics of information systems: mathematical foundations. New York, NY: Springer (ISBN 978-1-4614-3905-9/hbk; 978-1-4614-3906-6/ebook). Springer Proceedings in Mathematics & Statistics 20, 121-135 (2012).
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