×

zbMATH — the first resource for mathematics

Found 13,992 Documents (Results 1–100)

100
MathJax
Autom. Remote Control 82, No. 9, 1597-1606 (2021); translation from Probl. Upr. 2020, No. 3, 70-77 (2020).
MSC:  91A24 91A10 91A27
PDF BibTeX XML Cite
Full Text: DOI
EMS Textbooks in Mathematics. Berlin: European Mathematical Society (EMS) (ISBN 978-3-98547-012-9/hbk; 978-3-98547-512-4/ebook). xi, 345 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 151-173 (2021).
MSC:  68Q60 68N19 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Zarges, Christine (ed.) et al., Evolutionary computation in combinatorial optimization. 21st European conference, EvoCOP 2021, held as part of EvoStar 2021, virtual event, April 7–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12692, 68-83 (2021).
MSC:  90C27 90C35 90C59
PDF BibTeX XML Cite
Full Text: DOI
Piunovskiy, Alexey (ed.) et al., Modern trends in controlled stochastic processes: theory and applications, V.III. Selected papers based on the presentations at the traditional Liverpool workshop on controlled stochastic processes, Liverpool, UK, July 2021. Cham: Springer. Emerg. Complex. Comput. 41, 192-220 (2021).
MSC:  93E35 90C40 68T07
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