×

zbMATH — the first resource for mathematics

Found 1,347 Documents (Results 1–100)

100
MathJax
Autom. Remote Control 81, No. 10, 1751-1774 (2020); translation from Avtom. Telemekh. 2020, No. 10, 3-34 (2020).
MSC:  93B11 93D05 93C95
PDF BibTeX XML Cite
Full Text: DOI
Altenbach, Holm (ed.) et al., Recent developments in the theory of shells. Dedicated to Wojciech Pietraszkiewicz on the occasion of his 80th birthday. Cham: Springer (ISBN 978-3-030-17746-1/hbk; 978-3-030-17747-8/ebook). Advanced Structured Materials 110, 157-177 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Mechanical Engineering Series. Cham: Springer (ISBN 978-3-030-04347-6/hbk; 978-3-030-04348-3/ebook). xiii, 409 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Khan, Md. Aquil (ed.) et al., Logic and its applications. 8th Indian conference, ICLA 2019, Delhi, India, March 1–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-58770-6/pbk; 978-3-662-58771-3/ebook). Lecture Notes in Computer Science 11600, 144-159 (2019).
MSC:  03Bxx 68T27
PDF BibTeX XML Cite
Full Text: DOI arXiv
Qing, Sihan (ed.) et al., Information and communications security. 19th international conference, ICICS 2017, Beijing, China, December 6–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10631, 582-592 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Berichte aus der Mechanik. Aachen: Shaker Verlag; Stuttgart: Univ. Stuttgart, Institut für Nichtlineare Mechanik (Diss.) (ISBN 978-3-8440-6136-9/pbk). 194 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 105, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 32, 14 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 28, 17 p. (2017).
MSC:  03B60 03B45 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 319-337 (2017).
MSC:  68Q60 03B70 68Q25
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