×

zbMATH — the first resource for mathematics

Found 11,608 Documents (Results 1–100)

100
MathJax
Vestn. St. Petersbg. Univ., Math. 53, No. 3, 358-365 (2020); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 7(65), No. 3, 527-538 (2020).
MSC:  65 65L
PDF BibTeX XML Cite
Full Text: DOI
Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 556-568 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 31, 2 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 322-335 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 308-321 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 130-139 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 56, No. 4, 675-682 (2020); translation from Kibern. Sist. Anal. 2020, No. 4, 185-195 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 56, No. 2, 231-242 (2020); translation from Kibern. Sist. Anal. 2020, No. 2, 75-88 (2020).
MSC:  68T 68W 68 90C 90
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 11997. Cham: Springer (ISBN 978-3-030-48339-5/pbk; 978-3-030-48340-1/ebook). xvii, 763 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part I. Cham: Springer (ISBN 978-3-030-39080-8/pbk; 978-3-030-39081-5/ebook). Lecture Notes in Computer Science 11973, 307-317 (2020).
MSC:  65
PDF BibTeX XML Cite
Full Text: DOI
Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part I. Cham: Springer (ISBN 978-3-030-39080-8/pbk; 978-3-030-39081-5/ebook). Lecture Notes in Computer Science 11973, 109-121 (2020).
MSC:  65
PDF BibTeX XML Cite
Full Text: DOI
Tuffin, Bruno (ed.) et al., Monte Carlo and quasi-Monte Carlo methods. MCQMC 2018. Proceedings of the 13th international conference on Monte Carlo and quasi-Monte Carlo methods in scientific computing, Rennes, France, July 1–6, 2018. Cham: Springer (ISBN 978-3-030-43464-9/hbk; 978-3-030-43465-6/ebook). Springer Proceedings in Mathematics & Statistics 324, 143-159 (2020).
MSC:  65C05
PDF BibTeX XML Cite
Full Text: DOI
Klöfkorn, Robert (ed.) et al., Finite volumes for complex applications IX – methods, theoretical aspects, examples. FVCA 9, Bergen, Norway, June 15–19, 2020. In 2 volumes. Volume I and II. Cham: Springer (ISBN 978-3-030-43650-6/hbk; 978-3-030-43651-3/ebook). Springer Proceedings in Mathematics & Statistics 323, 715-723 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Bampis, Evripidis (ed.) et al., Approximation and online algorithms. 17th international workshop, WAOA 2019, Munich, Germany, September 12–13, 2019. Revised selected papers. Cham: Springer (ISBN 978-3-030-39478-3/pbk; 978-3-030-39479-0/ebook). Lecture Notes in Computer Science 11926, 60-71 (2020).
MSC:  68W25 68W27
PDF BibTeX XML Cite
Full Text: DOI
Grama, Ananth (ed.) et al., Parallel algorithms in computational science and engineering. Cham: Birkhäuser (ISBN 978-3-030-43735-0/hbk; 978-3-030-43736-7/ebook). Modeling and Simulation in Science, Engineering and Technology, 35-62 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 576-586 (2020).
MSC:  68Q45 68W10
PDF BibTeX XML Cite
Full Text: DOI
Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 211-222 (2020).
MSC:  68W32 68W10
PDF BibTeX XML Cite
Full Text: DOI
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 493-500 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer (ISBN 978-3-030-41031-5/pbk; 978-3-030-41032-2/ebook). Lecture Notes in Computer Science 11958, 173-180 (2020).
MSC:  65
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