×

zbMATH — the first resource for mathematics

Found 408 Documents (Results 1–100)

100
MathJax
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 21, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part II. Cham: Springer (ISBN 978-3-030-40615-8/pbk; 978-3-030-40616-5/ebook). Lecture Notes in Computer Science 11974, 124-138 (2020).
MSC:  65
PDF BibTeX XML Cite
Full Text: DOI
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 48-55 (2020).
MSC:  93B05 93C20 93B03
PDF BibTeX XML Cite
Full Text: DOI
Khachay, Michael (ed.) et al., Mathematical optimization theory and operations research. 18th international conference, MOTOR 2019, Ekaterinburg, Russia, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11548, 489-500 (2019).
MSC:  93B03 93C15 93C10
PDF BibTeX XML Cite
Full Text: DOI
Khachay, Michael (ed.) et al., Mathematical optimization theory and operations research. 18th international conference, MOTOR 2019, Ekaterinburg, Russia, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11548, 461-473 (2019).
MSC:  93B05 93B03 93C05
PDF BibTeX XML Cite
Full Text: DOI
Proc. Steklov Inst. Math. 304, Suppl. 1, S76-S87 (2019); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 24, No. 1, 63-75 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Nikolov, Geno (ed.) et al., Numerical methods and applications. 9th international conference, NMA 2018, Borovets, Bulgaria, August 20–24, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11189, 97-105 (2019).
MSC:  93B03 93C10 93C41
PDF BibTeX XML Cite
Full Text: DOI
Falcone, Maurizio (ed.) et al., Numerical methods for optimal control problems. Proceedings of the workshop, Rome, Italy, June 19–23, 2017. Cham: Springer. Springer INdAM Ser. 29, 1-22 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Proc. Steklov Inst. Math. 301, Suppl. 1, S32-S43 (2018); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 23, No. 1, 262-274 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Apaloo, Joseph (ed.) et al., Advances in dynamic and mean-field games. Theory, applications, and numerical methods. Proceedings of the 17th symposium of the International Society of Dynamic Games, Urbino, Italy, July 12–15, 2016. Cham: Birkhäuser. Ann. Int. Soc. Dyn. Games 15, 279-299 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Chaudhuri, Swarat (ed.) et al., Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17–23, 2016. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 9779, 457-476 (2016).
MSC:  93B03 52B55 68Q60 93B40
PDF BibTeX XML Cite
Full Text: DOI
Proc. Steklov Inst. Math. 293, Suppl. 1, S66-S74 (2016); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 21, No. 2, 50-58 (2015).
MSC:  93B03 93C10 93C15
PDF BibTeX XML Cite
Full Text: DOI
Proc. Steklov Inst. Math. 292, Suppl. 1, S231-S237 (2016); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 20, No. 4, 231-237 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proc. Steklov Inst. Math. 292, Suppl. 1, S67-S75 (2016); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 20, No. 4, 287-296 (2014).
PDF BibTeX XML Cite
Full Text: DOI
van Schuppen, Jan H. (ed.) et al., Coordination control of distributed systems. Cham: Springer (ISBN 978-3-319-10406-5/pbk; 978-3-319-10407-2/ebook). Lecture Notes in Control and Information Sciences 456, 357-365 (2015).
MSC:  93B03 93C15
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