×

zbMATH — the first resource for mathematics

Found 320 Documents (Results 1–100)

100
MathJax
Kononov, Alexander (ed.) et al., Mathematical optimization theory and operations research. 19th international conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-49987-7/pbk; 978-3-030-49988-4/ebook). Lecture Notes in Computer Science 12095, 329-342 (2020).
MSC:  90C59
PDF BibTeX XML Cite
Full Text: DOI
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 (ISBN 978-3-030-57627-1/pbk; 978-3-030-57628-8/ebook). Lecture Notes in Computer Science 12288, 196-214 (2020).
MSC:  68Qxx
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) (ISBN 978-1-4503-7018-9). Article No. 7, 12 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 169-182 (2019).
MSC:  68W50 68W40 90C59
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 133-146 (2019).
MSC:  68W50 68W40 90C59
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 124-132 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 102-115 (2019).
MSC:  68W50 05C15 68W40
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 87-101 (2019).
MSC:  68W50 68W40 90C59
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 25-33 (2019).
MSC:  68W50 68W40
PDF BibTeX XML Cite
Full Text: DOI
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-055-2). LIPIcs – Leibniz International Proceedings in Informatics 93, Article 7, 14 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 187-196 (2018).
MSC:  68Q60 03B44
PDF BibTeX XML Cite
Full Text: DOI
Al-Baali, Mehiddin (ed.) et al., Numerical analysis and optimization. Selected papers based on the presentations at the 4th international conference, NAO-IV, Muscat, Oman, January 2–5, 2017. Cham: Springer (ISBN 978-3-319-90025-4/hbk; 978-3-319-90026-1/ebook). Springer Proceedings in Mathematics & Statistics 235, 67-98 (2018).
MSC:  65Y05
PDF BibTeX XML Cite
Full Text: DOI
ACM Books 19. New York, NY: Association for Computing Machinery (ACM); Williston, VT: Morgan & Claypool Publishers (ISBN 978-1-94748-707-9//hbk; 978-1-94748-704-8/pbk; 978-1-947487-05-5/ebook). xvii, 260 p. (2018).
MSC:  65-02 65T50 94A12
PDF BibTeX XML Cite
Full Text: DOI
Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-57707-4/pbk; 978-3-319-57708-1/ebook). Lecture Notes in Computer Science 10189, 144-159 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 8, 19 p. (2017).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12–15, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4651-1). 65-79 (2017).
MSC:  68T20 68Q17 68W40
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12–15, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4651-1). 55-63 (2017).
MSC:  68T20 68W40 90C59
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12–15, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4651-1). 45-54 (2017).
MSC:  68T20 68W40 90C59
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12–15, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4651-1). 13-24 (2017).
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