×

zbMATH — the first resource for mathematics

Found 1,147 Documents (Results 1–100)

100
MathJax
Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 19. Proceedings of the 19th seminar (PANM), Hejnice, Czech Republic, June 24–29, 2018. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics (ISBN 978-80-85823-69-1). 15-26 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Schwabe, Peter (ed.) et al., Progress in cryptology – LATINCRYPT 2019. 6th international conference on cryptology and information security in Latin America, Santiago de Chile, Chile, October 2–4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11774, 323-340 (2019).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Deep, Kusum (ed.) et al., Decision science in action. Theory and applications of modern decision analytic optimisation. Singapore: Springer (ISBN 978-981-13-0859-8/hbk; 978-981-13-0860-4/ebook). Asset Analytics. Performance and Safety Management, 175-191 (2019).
MSC:  91G10 91-04 93E20
PDF BibTeX XML Cite
Full Text: DOI
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-055-2). LIPIcs – Leibniz International Proceedings in Informatics 93, Article 29, 14 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 290-306 (2018).
MSC:  68Q60 90C51
PDF BibTeX XML Cite
Full Text: DOI
Al-Baali, Mehiddin (ed.) et al., Numerical analysis and optimization. Selected papers based on the presentations at the 4th international conference, NAO-IV, Muscat, Oman, January 2–5, 2017. Cham: Springer (ISBN 978-3-319-90025-4/hbk; 978-3-319-90026-1/ebook). Springer Proceedings in Mathematics & Statistics 235, 173-191 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Mondaini, Rubem P. (ed.), Trends in biomathematics: modeling, optimization and computational problems. Selected works from the 17th BIOMAT consortium lectures, Moscow, Russia, October 30 – November 3, 2017. Cham: Springer; Rio de Janeiro: BIOMAT Consortium, International Institute for Interdisciplinary Sciences (ISBN 978-3-319-91091-8/hbk; 978-3-319-91092-5/ebook). 27-48 (2018).
PDF BibTeX XML Cite
Full Text: DOI
SpringerBriefs in Optimization. Cham: Springer (ISBN 978-3-030-02374-4/pbk; 978-3-030-02375-1/ebook). ix, 111 p. (2018).
MSC:  90-04 90C26 68N15
PDF BibTeX XML Cite
Full Text: DOI
Fioravanti, Fabio (ed.) et al., Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-94459-3/pbk; 978-3-319-94460-9/ebook). Lecture Notes in Computer Science 10855, 112-127 (2018).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Springer Optimization and Its Applications 136. Cham: Springer (ISBN 978-3-319-91646-0/hbk; 978-3-319-91648-4 /ebook). xvii, 173 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Lee, Jon (ed.) et al., Combinatorial optimization. 5th international symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018. Revised selected papers. Cham: Springer (ISBN 978-3-319-96150-7/pbk; 978-3-319-96151-4/ebook). Lecture Notes in Computer Science 10856, 26-38 (2018).
MSC:  90C35 90C27 90C10
PDF BibTeX XML Cite
Full Text: DOI
Straatsma, Tjerk P. (ed.) et al., Exascale scientific applications: scalability and performance portability. Boca Raton, FL: CRC Press (ISBN 978-1-138-19754-1/hbk; 978-1-351-99924-3/ebook). Chapman & Hall/CRC Computational Science Series, 315-344 (2018).
MSC:  76-04 76D55 76Mxx
PDF BibTeX XML Cite
Gouveia, Luís (ed.) et al., Proceedings of the 8th international network optimization conference (INOC 2017), Lisbon, Portugal, February 26–28, 2017. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 64, 265-274 (2018).
MSC:  90B18 91B76
PDF BibTeX XML Cite
Full Text: DOI
Classics in Applied Mathematics 78. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-519-2/pbk; 978-1-61197-520-8/ebook). xxiv, 456 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Huisman, Marieke (ed.) et al., Fundamental approaches to software engineering. 20th international conference, FASE 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. 10202, 191-207 (2017).
MSC:  68N30 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Rothe, Jörg (ed.), Algorithmic decision theory. 5th international conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-67503-9/pbk; 978-3-319-67504-6/ebook). Lecture Notes in Computer Science 10576. Lecture Notes in Artificial Intelligence, 93-107 (2017).
MSC:  91B06 91-04 49N90
PDF BibTeX XML Cite
Full Text: DOI
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 300-315 (2017).
MSC:  68N30 68N20
PDF BibTeX XML Cite
Full Text: DOI
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 46-59 (2017).
MSC:  68N30
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
Biographic Reference
all top 3
Software