×

zbMATH — the first resource for mathematics

Found 1,440 Documents (Results 1–100)

100
MathJax
Autom. Remote Control 82, No. 3, 460-467 (2021); translation from Avtom. Telemekh. 2021, No. 3, 112-122 (2021).
MSC:  93C83 93C29
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, 569-581 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Memoirs of the American Mathematical Society 1272. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4065-7/pbk; 978-1-4704-5652-8/ebook). v, 108 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Plotkin, Eugene (ed.), Groups, algebras and identities. Research workshop of the Israel Science Foundation ‘Groups, algebras and identities’. In honor of Boris Plotkin’s 90th birthday, Bar-Ilan University and The Hebrew University of Jerusalem, Israel, March 20–24, 2016. Providence, RI: American Mathematical Society (AMS); Ramat Gan: Bar-Ilan University (ISBN 978-1-4704-3713-8/pbk; 978-1-4704-5198-1/ebook). Contemporary Mathematics 726. Israel Mathematical Conference Proceedings, 217-224 (2019).
MSC:  03G05 03C98
PDF BibTeX XML Cite
Full Text: DOI arXiv
McQuillan, Ian (ed.) et al., Unconventional computation and natural computation. 18th international conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19310-2/pbk; 978-3-030-19311-9/ebook). Lecture Notes in Computer Science 11493, 150-163 (2019).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
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). 1297-1306 (2018).
MSC:  68P05 15B34 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Gudivada, Venkat N. (ed.) et al., Computational analysis and understanding of natural languages: principles, methods and applications. Amsterdam: Elsevier/North Holland (ISBN 978-0-444-64042-0/hbk; 978-0-444-64043-7/ebook). Handbook of Statistics 38, 331-401 (2018).
MSC:  68P20
PDF BibTeX XML Cite
Full Text: DOI
Češka, Milan (ed.) et al., Computational methods in systems biology. 16th international conference, CMSB 2018, Brno, Czech Republic, September 12–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99428-4/pbk; 978-3-319-99429-1/ebook). Lecture Notes in Computer Science 11095. Lecture Notes in Bioinformatics, 59-74 (2018).
MSC:  92-04 92C40
PDF BibTeX XML Cite
Full Text: DOI
Institute of Mathematical Statistics Textbooks 7. Cambridge: Cambridge University Press (ISBN 978-1-107-45843-7/pbk; 978-1-107-08801-6/hbk; 978-1-316-10447-7/ebook). xx, 293 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 77-93 (2017).
MSC:  68Q60 03B44
PDF BibTeX XML Cite
Full Text: DOI
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 354-370 (2017).
MSC:  68Q60 03B44
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