×

zbMATH — the first resource for mathematics

Found 1,193 Documents (Results 1–100)

100
MathJax
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 89-106 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pinelas, Sandra (ed.) et al., Differential and difference equations with applications. Selected papers based on the presentations at the fourth international conference, ICDDEA 2019, Lisbon, Portugal, July 1–5, 2019. Cham: Springer. Springer Proc. Math. Stat. 333, 133-141 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 686-696 (2019).
PDF BibTeX XML Cite
Full Text: DOI Link
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 289-296 (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Giselsson, Pontus (ed.) et al., Large-scale and distributed optimization. Contributions of the workshop, Lund, Sweden, June 14–16, 2017. Cham: Springer. Lect. Notes Math. 2227, 181-213 (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Owen, Art B. (ed.) et al., Monte Carlo and quasi-Monte Carlo methods, MCQMC 2016. Proceedings of the 12th international conference on ‘Monte Carlo and quasi-Monte Carlo methods in scientific computing’, Stanford, CA, August 14–19, 2016. Cham: Springer (ISBN 978-3-319-91435-0/hbk; 978-3-319-91436-7/ebook). Springer Proceedings in Mathematics & Statistics 241, 295-312 (2018).
MSC:  60H05 65C30 65Y20
PDF BibTeX XML Cite
Full Text: DOI
Dick, Josef (ed.) et al., Contemporary computational mathematics – a celebration of the 80th birthday of Ian Sloan. In 2 volumes. Cham: Springer (ISBN 978-3-319-72455-3/hbk; 978-3-319-72456-0/ebook). 455-481 (2018).
PDF BibTeX XML Cite
Full Text: DOI 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
Biographic Reference
all top 3
Software