×

zbMATH — the first resource for mathematics

Found 392 Documents (Results 1–100)

100
MathJax
Galbraith, Steven D. (ed.) et al., Advances in cryptology – ASIACRYPT 2019. 25th international conference on the theory and application of cryptology and information security, Kobe, Japan, December 8–12, 2019. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-34577-8/pbk; 978-3-030-34578-5/ebook). Lecture Notes in Computer Science 11921, 196-223 (2019).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Bykadorov, Igor (ed.) et al., Mathematical optimization theory and operations research. 18th international conference, MOTOR 2019, Ekaterinburg, Russia, July 8–12, 2019. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1090, 86-102 (2019).
MSC:  90C59
PDF BibTeX XML Cite
Full Text: DOI
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 159-173 (2019).
MSC:  68Q45 68Q32 68T20
PDF BibTeX XML Cite
Full Text: DOI
Rousseau, Louis-Martin (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 16th international conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19211-2/pbk; 978-3-030-19212-9/ebook). Lecture Notes in Computer Science 11494, 112-128 (2019).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5550-6). 111-118 (2018).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Kim, Donghyun (ed.) et al., Combinatorial optimization and applications. 12th international conference, COCOA 2018, Atlanta, GA, USA, December 15–17, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-04650-7/pbk; 978-3-030-04651-4/ebook). Lecture Notes in Computer Science 11346, 386-401 (2018).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10805, 99-114 (2018).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 54, No. 4, 563-575 (2018); translation from Kibern. Sist. Anal. 2018, No. 4, 56-69 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Czumaj, Artur (ed.), Proceedings of the 29th annual ACM-SIAM symposium on discrete algorithms, SODA 2018, New Orleans, LA, USA, January 7–10, 2018. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-61197-503-1/ebook). 247-261 (2018).
MSC:  68T20 68R10 94C10
PDF BibTeX XML Cite
Full Text: Link
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 62, 14 p. (2017).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Butenko, Sergiy (ed.) et al., Optimization methods and applications. In honor of Ivan V. Sergienko’s 80th birthday. Cham: Springer (ISBN 978-3-319-68639-4/hbk; 978-3-319-68640-0/ebook). Springer Optimization and Its Applications 130, 75-95 (2017).
MSC:  90C09 90C26
PDF BibTeX XML Cite
Full Text: DOI
Gaspers, Serge (ed.) et al., Theory and applications of satisfiability testing – SAT 2017. 20th international conference, Melbourne, VIC, Australia, August 28 – September 1, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-66262-6/pbk; 978-3-319-66263-3/ebook). Lecture Notes in Computer Science 10491, 83-100 (2017).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Hatami, Hamed (ed.) et al., Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC ’17, Montreal, QC, Canada, June 19–23, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4528-6). 989-1002 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Handschuh, Helena (ed.), Topics in cryptology – CT-RSA 2017. The cryptographers’ track at the RSA conference 2017, San Francisco, CA, USA, February 14–17, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-52152-7/pbk; 978-3-319-52153-4/ebook). Lecture Notes in Computer Science 10159, 397-413 (2017).
MSC:  68P25 68P10 94A60
PDF BibTeX XML Cite
Full Text: DOI
Carro, Manuel (ed.) et al., Technical communications of the 32nd international conference on logic programming, ICLP 2016, October 16–21, 2016, New York, NY, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 52, Article 5, 15 p. (2016).
MSC:  68T20 68N17
PDF BibTeX XML Cite
Full Text: DOI
Raz, Ran (ed.), 31st conference on computational complexity, CCC’16, Tokyo, Japan, May 29 – June 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-008-8). LIPIcs – Leibniz International Proceedings in Informatics 50, Article 1, 35 p. (2016).
MSC:  68Q17 68Q05 68T20 94C10
PDF BibTeX XML Cite
Full Text: DOI
Ortner, Ronald (ed.) et al., Algorithmic learning theory. 27th international conference, ALT 2016, Bari, Italy, October 19–21, 2016, Proceedings. Cham: Springer (ISBN 978-3-319-46378-0/pbk; 978-3-319-46379-7/ebook). Lecture Notes in Computer Science 9925. Lecture Notes in Artificial Intelligence, 98-112 (2016).
MSC:  68Q32
PDF BibTeX XML Cite
Full Text: DOI
Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 320-334 (2015).
MSC:  68T20 68N30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM SIGEVO workshop on foundations of genetic algorithms, FOGA 2015, Aberystwyth, UK, January 17–20, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3434-1). 137-149 (2015).
MSC:  68T20 90C27 90C59
PDF BibTeX XML Cite
Full Text: DOI
Miao, Duoqian (ed.) et al., Rough sets and knowledge technology. 9th international conference, RSKT 2014, Shanghai, China, October 24–26, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-11739-3/pbk; 978-3-319-11740-9/ebook). Lecture Notes in Computer Science 8818. Lecture Notes in Artificial Intelligence, 577-585 (2014).
MSC:  68T37 68T20 94C10
PDF BibTeX XML Cite
Full Text: DOI
McMillan, Kenneth L. (ed.) et al., Verification, model checking, and abstract interpretation. 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19–21, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8318, 1-20 (2014).
MSC:  68M07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 12th ACM SIGEVO workshop on foundations of genetic algorithms, FOGA 2013, Adelaide, SA, Australia, January 16–20, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1990-4). 119-132 (2013).
MSC:  68T20 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 12th ACM SIGEVO workshop on foundations of genetic algorithms, FOGA 2013, Adelaide, SA, Australia, January 16–20, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1990-4). 51-64 (2013).
MSC:  68T20 68Q25 90C59
PDF BibTeX XML Cite
Full Text: DOI
Cimatti, Alessandro (ed.) et al., Theory and applications of satisfiability testing – SAT 2012. 15th international conference, Trento, Italy, June 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31611-1/pbk). Lecture Notes in Computer Science 7317, 86-99 (2012).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Cimatti, Alessandro (ed.) et al., Theory and applications of satisfiability testing – SAT 2012. 15th international conference, Trento, Italy, June 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31611-1/pbk). Lecture Notes in Computer Science 7317, 30-43 (2012).
MSC:  68T20 90C09
PDF BibTeX XML Cite
Full Text: DOI
Cimatti, Alessandro (ed.) et al., Theory and applications of satisfiability testing – SAT 2012. 15th international conference, Trento, Italy, June 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31611-1/pbk). Lecture Notes in Computer Science 7317, 16-29 (2012).
MSC:  68T20 90C09
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