×

zbMATH — the first resource for mathematics

Found 120 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). Article No. 24, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
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). Article No. 16, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
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). Article No. 2, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
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). Article No. 1, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Russ. Math. Surv. 74, No. 6, 1013-1074 (2019); translation from Usp. Mat. Nauk 74, No. 6, 55-118 (2019).
MSC:  52C20 05B45 05E10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 268-269 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Vestn. St. Petersbg. Univ., Math. 51, No. 4, 343-359 (2018); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 5(63), No. 4, 572-596 (2018).
MSC:  01A72 60-03
PDF BibTeX XML Cite
Full Text: DOI
Conder, Marston D. E. (ed.) et al., Discrete geometry and symmetry. Dedicated to Károly Bezdek and Egon Schulte on the occasion of their 60th birthdays. Selected papers based on the presentations at the conference ‘Geometry and symmetry’, Veszprém, Hungary, June 29 – July 3, 2015. Cham: Springer. Springer Proc. Math. Stat. 234, 87-107 (2018).
MSC:  52B20 52B40 05B35
PDF BibTeX XML Cite
Full Text: DOI
Benedetti, Bruno (ed.) et al., Combinatorial methods in topology and algebra. Based on the presentations at the INdAM conference, CoMeTa 2013, Cortona, Italy, September 2013. Cham: Springer (ISBN 978-3-319-20154-2/hbk; 978-3-319-20155-9/ebook). Springer INdAM Series 12, 79-84 (2015).
MSC:  52B20 52A38
PDF BibTeX XML Cite
Full Text: DOI
Feng, Xinyu (ed.) et al., Programming languages and systems. 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 – December 2, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26528-5/pbk; 978-3-319-26529-2/ebook). Lecture Notes in Computer Science 9458, 127-145 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Crisman, Karl-Dieter (ed.) et al., The mathematics of decisions, elections, and games. AMS special sessions on the mathematics of decisions, elections, and games, Boston, MA, USA, January 4, 2012, and San Diego, CA, USA, January 11–12, 2013. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9866-6/pbk; 978-1-4704-1930-1/ebook). Contemporary Mathematics 624, 89-99 (2014).
MSC:  91B12 52B12 52C35
PDF BibTeX XML Cite
Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 173-182 (2013).
MSC:  93B03 34A38 34A60
PDF BibTeX XML Cite
Full Text: DOI
Fränzle, Martin (ed.) et al., Proceedings of the first workshop on hybrid autonomous systems, Saarbrücken, Germany, June 6, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 297, 61-74 (2013).
MSC:  68Q60 93C05 93C30
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). 45-54 (2012).
MSC:  93B03 34A38 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Midtgaard, Jan (ed.) et al., Proceedings of the 4th international workshop on numerical and symbolic abstract domains, NSAD 2012, Deauville, France, September 10, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 287, 65-76 (2012).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 23rd international conference on formal power series and algebraic combinatorics, FPSAC 2011, Reykjavik, Iceland, June 13–17, 2011. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 305-316 (2011).
MSC:  52B12 05C80
PDF BibTeX XML Cite
Full Text: Link arXiv
Krob, Daniel (ed.) et al., Formal power series and algebraic combinatorics. Proceedings of the 12th international conference, FPSAC’00, Moscow, Russia, June 26-30, 2000. Berlin: Springer. 256-267 (2000).
MSC:  05A17 05B45
PDF BibTeX XML Cite
Csendes, Tibor (ed.), Developments in reliable computing. SCAN-98 conference, 8th international symposium on Scientific computing, computer arithmetic and validated numerics. Budapest, Hungary, September 22-25, 1998. Dordrecht: Kluwer Academic Publishers. 43-51 (1999).
MSC:  65P10 39A12 65Q05 37M05
PDF BibTeX XML Cite
Hege, Hans-Christian (ed.) et al., Mathematical visualization. Algorithms, applications, and numerics. International workshop Visualization and mathematics, Berlin, Germany, September 16-19, 1997. Berlin: Springer. 125-134 (1998).
MSC:  68U05 34A99
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software