×

zbMATH — the first resource for mathematics

Found 6,480 Documents (Results 1–100)

100
MathJax
Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12288, 94-110 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 81, No. 11, 2108-2131 (2020); translation from Mat. Teor. Igr Prilozh. 9, No. 1, 62-94 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Vestn. St. Petersbg. Univ., Math. 53, No. 3, 366-375 (2020); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 7(65), No. 3, 539-551 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Sotomayor, Marilda (ed.) et al., Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer. Encycl. Complex. Syst. Sci. Ser., 185-198 (2020).
MSC:  91A20 91A27
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