×

zbMATH — the first resource for mathematics

Found 543 Documents (Results 1–100)

100
MathJax
Autom. Remote Control 81, No. 9, 1702-1710 (2020); translation from Probl. Upr. 2019, No. 3, 16-21 (2019).
MSC:  93B50 93C05
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 79, No. 9, 1713-1721 (2018); translation from Probl. Upr. 2017, No. 3, 11-16 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 89-97 (2018).
MSC:  68U05 68U07 68T40
PDF BibTeX XML Cite
Full Text: DOI
Mineola, NY: Dover Publications (ISBN 978-0-486-81243-4/pbk). xx, 558 p., x, 116 p. (2017).
MSC:  01A75 01A55 01A70
PDF BibTeX XML Cite
Chan, T-H. Hubert (ed.) et al., Combinatorial optimization and applications. 10th international conference, COCOA 2016, Hong Kong, China, December 16–18, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-48748-9/pbk; 978-3-319-48749-6/ebook). Lecture Notes in Computer Science 10043, 744-753 (2016).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
PDF BibTeX XML Cite
Full Text: DOI
Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-21689-8/pbk; 978-3-319-21690-4/ebook). Lecture Notes in Computer Science 9206, 415-430 (2015).
MSC:  68Q60 68U05 90C22
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 18th ACM international conference on hybrid systems: computation and control, HSCC 2015, Seattle, WA, USA, April 14–16, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3433-4). 21-30 (2015).
MSC:  93C57 93C30 93B52 93B40 93B03
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 199, No. 2, 168-173 (2014); translation from Zap. Nauchn. Semin. POMI 408, 187-196 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Stefani, Gianna (ed.) et al., Geometric control theory and sub-Riemannian geometry. Proceedings of the meeting on geometric control theory and sub-Riemannian geometry, dedicated to Andrei A. Agrachev on the occasion of his 60th birthday, Cortona, Italy, May 21–25, 2012. Cham: Springer (ISBN 978-3-319-02131-7/hbk; 978-3-319-02132-4/ebook). Springer INdAM Series 5, 53-72 (2014).
MSC:  53C22 65L99
PDF BibTeX XML Cite
Full Text: DOI
Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15–18, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8172, 240-254 (2013).
MSC:  68N20 90C22
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 105-114 (2012).
MSC:  93C05 93B40 90C22
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