×

zbMATH — the first resource for mathematics

Found 227 Documents (Results 1–100)

100
MathJax
Alpcan, Tansu (ed.) et al., Decision and game theory for security. 10th international conference, GameSec 2019, Stockholm, Sweden, October 30 – November 1, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11836, 459-478 (2019).
MSC:  91A28 91A65 90C22
PDF BibTeX XML Cite
Full Text: DOI
Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 232-240 (2016).
MSC:  65-04 65Y10
PDF BibTeX XML Cite
Full Text: DOI
Kumar Sinha, Arun (ed.) et al., Recent advances in mathematics, statistics and computer science. Proceedings of the international conference, ICRAMSCS, Bihar, India, May 29–31, 2015. Hackensack, NJ: World Scientific (ISBN 978-981-4696-16-6/hbk; 978-981-4704-84-7/ebook). 290-302 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 195-212 (2016).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Michel, Laurent (ed.), Integration of AI and OR techniques in constraint programming. 12th international conference, CPAIOR 2015, Barcelona, Spain, May 18–22, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9075, 231-239 (2015).
MSC:  90C27 90C59
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 53, No. 5, 761-775 (2014); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2014, No. 5, 146-160 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 4th conference on innovations in theoretical computer science, ITCS’13, Berkeley, CA, USA, January 9–12, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1859-4). 197-214 (2013).
MSC:  68Q25 68Q17 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