×

zbMATH — the first resource for mathematics

Found 133 Documents (Results 1–100)

100
MathJax
Kochetov, Yury (ed.) et al., Mathematical optimization theory and operations research. 19th international conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020. Revised selected papers. Cham: Springer (ISBN 978-3-030-58656-0/pbk; 978-3-030-58657-7/ebook). Communications in Computer and Information Science 1275, 363-378 (2020).
MSC:  90C27 90C09
PDF BibTeX XML Cite
Full Text: DOI
Junge, Oliver (ed.) et al., Advances in dynamics, optimization and computation. A volume dedicated to Michael Dellnitz on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-030-51263-7/hbk; 978-3-030-51264-4/ebook). Studies in Systems, Decision and Control 304, 183-206 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Bykadorov, Igor (ed.) et al., Mathematical optimization theory and operations research. 18th international conference, MOTOR 2019, Ekaterinburg, Russia, July 8–12, 2019. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1090, 86-102 (2019).
MSC:  90C59
PDF BibTeX XML Cite
Full Text: DOI
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 99-117 (2017).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 39-56 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Dimov, Ivan (ed.) et al., Numerical analysis and its applications. 6th international conference, NAA 2016, Lozenetz, Bulgaria, June 15–22, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-57098-3/pbk; 978-3-319-57099-0/ebook). Lecture Notes in Computer Science 10187, 769-776 (2017).
MSC:  68M07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Merelo, Juan Julian (ed.) et al., Computational intelligence. 6th international joint conference, IJCCI 2014 Rome, Italy, October 22–24, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-26391-5/hbk; 978-3-319-26393-9/ebook). Studies in Computational Intelligence 620, 213-234 (2016).
MSC:  03B35 03B52 03D25
PDF BibTeX XML Cite
Full Text: DOI
De Nicola, Rocco (ed.) et al., Software engineering and formal methods. 14th international conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-41590-1/pbk; 978-3-319-41591-8/ebook). Lecture Notes in Computer Science 9763, 9-23 (2016).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-48757-1/pbk; 978-3-319-48758-8/ebook). Lecture Notes in Computer Science 10021. Lecture Notes in Artificial Intelligence, 336-352 (2016).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 18th international workshop, CASC 2016, Bucharest, Romania, September 19–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9890, 315-335 (2016).
MSC:  90C57 68T20
PDF BibTeX XML Cite
Full Text: DOI
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 18th international workshop, CASC 2016, Bucharest, Romania, September 19–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9890, 117-133 (2016).
MSC:  05-04
PDF BibTeX XML Cite
Full Text: DOI
Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40969-6/pbk; 978-3-319-40970-2/ebook). Lecture Notes in Computer Science 9710, 521-530 (2016).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40969-6/pbk; 978-3-319-40970-2/ebook). Lecture Notes in Computer Science 9710, 402-418 (2016).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40969-6/pbk; 978-3-319-40970-2/ebook). Lecture Notes in Computer Science 9710, 228-245 (2016).
MSC:  68T15 05D10 68T20
PDF BibTeX XML Cite
Full Text: DOI
Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40969-6/pbk; 978-3-319-40970-2/ebook). Lecture Notes in Computer Science 9710, 60-76 (2016).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40228-4/pbk; 978-3-319-40229-1/ebook). Lecture Notes in Computer Science 9706. Lecture Notes in Artificial Intelligence, 25-44 (2016).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 28-43 (2016).
MSC:  68T15 68W30
PDF BibTeX XML Cite
Full Text: DOI
Devitt, Simon (ed.) et al., Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40577-3/pbk; 978-3-319-40578-0/ebook). Lecture Notes in Computer Science 9720, 307-321 (2016).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI
Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24245-3/pbk; 978-3-319-24246-0/ebook). Lecture Notes in Computer Science 9322. Lecture Notes in Artificial Intelligence, 69-84 (2015).
MSC:  68T
PDF BibTeX XML Cite
Full Text: DOI
Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24317-7/pbk; 978-3-319-24318-4/pbk). Lecture Notes in Computer Science 9340, 423-433 (2015).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24317-7/pbk; 978-3-319-24318-4/pbk). Lecture Notes in Computer Science 9340, 405-422 (2015).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24317-7/pbk; 978-3-319-24318-4/pbk). Lecture Notes in Computer Science 9340, 324-342 (2015).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24317-7/pbk; 978-3-319-24318-4/pbk). Lecture Notes in Computer Science 9340, 287-298 (2015).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24317-7/pbk; 978-3-319-24318-4/pbk). Lecture Notes in Computer Science 9340, 173-190 (2015).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24317-7/pbk; 978-3-319-24318-4/pbk). Lecture Notes in Computer Science 9340, 138-155 (2015).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24317-7/pbk; 978-3-319-24318-4/pbk). Lecture Notes in Computer Science 9340, 71-87 (2015).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software