×

zbMATH — the first resource for mathematics

Found 11,625 Documents (Results 1–100)

100
MathJax
Cachin, Christian (ed.) et al., Proceedings of the 39th ACM symposium on principles of distributed computing, PODC ’20, virtual event, August 3–7, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7582-5). 309-318 (2020).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Cachin, Christian (ed.) et al., Proceedings of the 39th ACM symposium on principles of distributed computing, PODC ’20, virtual event, August 3–7, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7582-5). 243-252 (2020).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Cachin, Christian (ed.) et al., Proceedings of the 39th ACM symposium on principles of distributed computing, PODC ’20, virtual event, August 3–7, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7582-5). 119-128 (2020).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
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:  65L05
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. Springer Proc. Math. Stat. 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