×

zbMATH — the first resource for mathematics

Found 686 Documents (Results 1–100)

100
MathJax
Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19569-4/pbk; 978-3-030-19570-0/ebook). Lecture Notes in Computer Science 11468. Lecture Notes in Artificial Intelligence, 778-793 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 42-53 (2019).
MSC:  68Q11 68W20 94D10
PDF BibTeX XML Cite
Full Text: DOI
New York, NY: Apress (ISBN 978-1-4842-4214-8/pbk; 978-1-4842-4215-5/ebook). xxiv, 700 p. (2019).
MSC:  68-01 68-02 68T05
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 10, 13 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 214-232 (2018).
MSC:  68Q25 03B70
PDF BibTeX XML Cite
Full Text: DOI
Janoos, Firdaus (ed.) et al., Algorithmic learning theory 2018. Proceedings of the 29th international conference (ALT 2018), Lanzarote, Spain, April 7–9, 2018. [s.l.]: Proceedings of Machine Learning Research PMLR. Proceedings of Machine Learning Research (PMLR) 83, 212-245 (2018).
MSC:  68T05 62G08
PDF BibTeX XML Cite
Full Text: Link arXiv
Compact Textbooks in Mathematics. Cham: Birkhäuser (ISBN 978-3-030-01976-1/pbk; 978-3-030-01978-5/ebook). xii, 188 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Coelho, Vitor Nazário (ed.) et al., Selected short papers of the 5th international conference on variable neighborhood search (ICVNS’17), Ouro Preto, Brazil, 2–4, 2017. Amsterdam: Elsevier. Electron. Notes Discrete Math. 66, 223-230 (2018).
MSC:  90C59 90C10
PDF BibTeX XML Cite
Full Text: DOI
Wang, Lusheng (ed.) et al., Computing and combinatorics. 24th international conference, COCOON 2018, Qing Dao, China, July 2–4, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94775-4/pbk; 978-3-319-94776-1/ebook). Lecture Notes in Computer Science 10976, 738-750 (2018).
MSC:  68Rxx
PDF BibTeX XML Cite
Full Text: DOI
Maffei, Matteo (ed.) et al., Principles of security and trust. 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10204, 210-231 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Pruhs, Kirk (ed.) et al., 25th European symposium on algorithms, ESA 2017, Vienna, Austria, September 4–6, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 87, Article 68, 13 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Pruhs, Kirk (ed.) et al., 25th European symposium on algorithms, ESA 2017, Vienna, Austria, September 4–6, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 87, Article 42, 13 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-61580-6/pbk; 978-3-319-61581-3/ebook). Lecture Notes in Computer Science 10369. Lecture Notes in Artificial Intelligence, 295-305 (2017).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 31-45 (2016).
MSC:  68Q60 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 44, 14 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Sankowski, Piotr (ed.) et al., 24th annual European symposium on algorithms, ESA 2016, Aarhus, Denmark, August 22–24, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-015-6). LIPIcs – Leibniz International Proceedings in Informatics 57, Article 25, 17 p. (2016).
MSC:  68Q25 68P05 68W20
PDF BibTeX XML Cite
Full Text: DOI
Kahraman, Cengiz (ed.) et al., Fuzzy statistical decision-making. Theory and applications. Cham: Springer (ISBN 978-3-319-39012-3/hbk; 978-3-319-39014-7/ebook). Studies in Fuzziness and Soft Computing 343, 221-261 (2016).
MSC:  62H86 62H30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 1-10 (2016).
MSC:  68T05 03B44 68Q25
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