×

zbMATH — the first resource for mathematics

Found 3,751 Documents (Results 1–100)

100
MathJax
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, 485-507 (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. 9, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Comput. Math. Math. Phys. 60, No. 12, 1990-2006 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 12, 2055-2072 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Astérisque 419. Paris: Société Mathématique de France (SMF) (ISBN 978-2-85629-920-3/pbk). ix, 210 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Burgos Gil, José Ignacio (ed.) et al., Periods in quantum field theory and arithmetic. Outcome of the “Research Trimester on Multiple Zeta Values, Multiple Polylogarithms, and Quantum Field Theory”, ICMAT 2014, Madrid, Spain, September 15–19, 2014. Cham: Springer. Springer Proc. Math. Stat. 314, 1-28 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Filipuk, Galina (ed.) et al., Complex differential and difference equations. Proceedings of the school and conference held at Będlewo, Poland, September 2–15, 2018. Berlin: De Gruyter. De Gruyter Proc. Math., 219-241 (2020).
MSC:  34M30 34M25 34M40
PDF BibTeX XML Cite
Full Text: DOI
Naik, Ganesh (ed.), Biomedical signal processing. Advances in theory, algorithms and applications. Singapore: Springer. Ser. BioEng., 325-355 (2020).
MSC:  92C55 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6217-7). 306 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Hospodár, Michal (ed.) et al., Implementation and application of automata. 24th international conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11601, 121-132 (2019).
MSC:  68Q45 68R10 92E10
PDF BibTeX XML Cite
Full Text: DOI
Russ. Math. Surv. 74, No. 5, 959-961 (2019); translation from Usp. Mat. Nauk 74, No. 5, 189-190 (2019).
MSC:  37K10 35Q55 35L05
PDF BibTeX XML Cite
Full Text: DOI
Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 47-65 (2019).
MSC:  68Q42 68V15 68V20
PDF BibTeX XML Cite
Full Text: DOI
Jerison, David (ed.) et al., Current developments in mathematics 2017. Papers based on selected lectures given at the current development mathematics conference, Harvard University, Cambridge, MA, USA, November 2017. Somerville, MA: International Press. 37-86 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Ji, Lizhen (ed.) et al., Proceedings of the seventh international congress of Chinese mathematicians, ICCM 2016, Beijing, China, August 2016. Volume I. Somerville, MA: International Press; Beijing: Higher Education Press. Adv. Lect. Math. (ALM) 43, 237-253 (2019).
MSC:  14D15 14G22
PDF BibTeX XML Cite
Mathematical Surveys and Monographs 242. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5015-1/hbk; 978-1-4704-5411-1/ebook). xii, 297 p. (2019).
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
all top 3
Software