×

zbMATH — the first resource for mathematics

Found 773 Documents (Results 1–100)

100
MathJax
J. Appl. Mech. Tech. Phys. 61, No. 3, 400-408 (2020); translation from Prikl. Mekh. Tekh. Fiz. 61, No. 3, 100-109 (2020).
MSC:  76B15 65R20
PDF BibTeX Cite
Full Text: DOI
André, Étienne (ed.) et al., Formal modeling and analysis of timed systems. 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11750, 123-141 (2019).
PDF BibTeX 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). 1122-1129 (2018).
MSC:  65C40 60E15
PDF BibTeX Cite
Full Text: DOI arXiv
Kliewer, Natalia (ed.) et al., Operations research proceedings 2017. Selected papers of the annual international conference of the German Operations Research Society (GOR), Freie Universiät Berlin, Germany, September 6–8, 2017. Cham: Springer (ISBN 978-3-319-89919-0/pbk; 978-3-319-89920-6/ebook). Operations Research Proceedings, 159-164 (2018).
MSC:  90C11 90C51 90C60
PDF BibTeX Cite
Full Text: DOI
Balan, Vladimir (ed.) et al., Proceedings of the international conference on differential geometry and dynamical systems (DGDS-2016), Mangalia, Romania, August 28 – September 3, 2016. In memoriam of Adrian Constantinescu. Bucharest: Geometry Balkan Press. BSG Proceedings 24, 47-63 (2017).
MSC:  90C25 90C51
PDF BibTeX Cite

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