×

zbMATH — the first resource for mathematics

Found 5,670 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, 556-568 (2020).
MSC:  68Q60
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). 671-684 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
MSC:  45G05
PDF BibTeX XML Cite
Full Text: DOI MNR
Cybern. Syst. Anal. 56, No. 6, 978-989 (2020); translation from Kibern. Sist. Anal. 2020, No. 6, 136-148 (2020).
MSC:  65J22 49J40 49J45
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 56, No. 5, 784-792 (2020); translation from Kibern. Sist. Anal. 2020, No. 5, 115-125 (2020).
MSC:  90C33 90C48
PDF BibTeX XML Cite
Full Text: DOI
J. Contemp. Math. Anal., Armen. Acad. Sci. 55, No. 1, 42-53 (2020); translation from Izv. Nats. Akad. Nauk Armen., Mat. 55, No. 1, 57-71 (2020).
MSC:  45G05
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