×

zbMATH — the first resource for mathematics

Found 282 Documents (Results 1–100)

100
MathJax
Springer Series in Operations Research and Financial Engineering. Cham: Springer (ISBN 978-3-030-12370-3/hbk; 978-3-030-12371-0/ebook). xix, 196 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI Link
de Moura, Leonardo (ed.), Automated deduction – CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6–11, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-63045-8/pbk; 978-3-319-63046-5/ebook). Lecture Notes in Computer Science 10395. Lecture Notes in Artificial Intelligence, 42-59 (2017).
MSC:  03B35 68T15
PDF BibTeX XML Cite
Full Text: DOI
Malkin, Tal (ed.) et al., Applied cryptography and network security. 13th international conference, ACNS 2015, New York, NY, USA, June 2–5, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9092, 595-615 (2015).
MSC:  94A60 68P25
PDF BibTeX XML Cite
Full Text: DOI
Hömberg, Dietmar (ed.) et al., System modeling and optimization. 25th IFIP TC 7 conference on system modeling and optimization, CSMO 2011, Berlin, Germany, September 12–16, 2011. Revised Selected Papers. Heidelberg: Springer (ISBN 978-3-642-36061-9/hbk; 978-3-642-36062-6/ebook). IFIP Advances in Information and Communication Technology 391, 471-480 (2013).
MSC:  49K15 49M30 49N90
PDF BibTeX XML Cite
Full Text: DOI
Wiley Series in Probability and Statistics. Hoboken, NJ: John Wiley & Sons (ISBN 978-0-470-58247-3/hbk; 978-1-118-54835-6/ebook). xvi, 500 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Goodman, Jacob Eli (ed.) et al., Combinatorial and computational geometry. Cambridge: Cambridge University Press (ISBN 0-521-84862-8/hbk). Mathematical Sciences Research Institute Publications 52, 333-360 (2005).
MSC:  52C35 05E25
PDF BibTeX XML Cite
Full Text: Link arXiv

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