×

zbMATH — the first resource for mathematics

Found 285 Documents (Results 1–100)

100
MathJax
Archambault, Daniel (ed.) et al., Graph drawing and network visualization. 27th international symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-35801-3/pbk; 978-3-030-35802-0/ebook). Lecture Notes in Computer Science 11904, 447-459 (2019).
MSC:  68R10 68U05
PDF BibTeX XML Cite
Full Text: DOI
Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 234-246 (2019).
MSC:  05C83 05C20 05C75
PDF BibTeX XML Cite
Full Text: DOI
Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 158-170 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Synthesis Lectures on Artificial Intelligence and Machine Learning 41. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-6817-3490-3/pbk; 978-1-6817-3492-7/hbk; 978-1-6817-3491-0/ebook). xiv, 185 p. (2019).
MSC:  68-02 62-09 62H30 68T05 68T10 68T30
PDF BibTeX XML Cite
Full Text: DOI
D’Angelo, Gianlorenzo (ed.), 17th symposium on experimental algorithms, SEA 2018, June 27–29, 2018, L’Aquila, Italy. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-070-5). LIPIcs – Leibniz International Proceedings in Informatics 103, Article 29, 14 p. (2018).
MSC:  68Wxx
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, 255-267 (2018).
MSC:  68Rxx
PDF BibTeX XML Cite
Full Text: DOI
Manea, Florin (ed.) et al., Sailing routes in the world of computation. 14th conference on computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94417-3/pbk; 978-3-319-94418-0/ebook). Lecture Notes in Computer Science 10936, 81-88 (2018).
MSC:  68Qxx
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 39, 15 p. (2017).
MSC:  68Q85 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Iliopoulos, Costas S. (ed.) et al., 16th international symposium on experimental algorithms, SEA 2017, London, UK, June 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 75, Article 28, 21 p. (2017).
MSC:  68R10 68-04 68W99
PDF BibTeX XML Cite
Full Text: DOI
Papadimitriou, Christos H. (ed.), 8th innovations in theoretical computer science conference, ITCS 2017, Berkeley, CA, USA, January 9–11, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-029-3). LIPIcs – Leibniz International Proceedings in Informatics 67, Article 14, 13 p. (2017).
MSC:  68Q25 05C85 68R10
PDF BibTeX XML Cite
Full Text: DOI
Guo, Jiong (ed.) et al., 11th international symposium on parameterized and exact computation (IPEC 2016), Aarhus, Denmark, August 24–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-023-1). LIPIcs – Leibniz International Proceedings in Informatics 63, Article 4, 17 p. (2017).
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). 397-406 (2016).
MSC:  03C13 03B10 03B15 05C05 05C10
PDF BibTeX XML Cite
Full Text: DOI
Arrazola-Ramírez, José Ramón (ed.) et al., Selected papers of the 10th Latin American workshop on logic/languages, algorithms and new methods of reasoning (LANMR), Puebla, Mexico, August 15, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 328, 47-57 (2016).
MSC:  05C78 05C85 68W40
PDF BibTeX XML Cite
Full Text: DOI
Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 27, 14 p. (2016).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Ollinger, Nicolas (ed.) et al., 33rd symposium on theoretical aspects of computer science, STACS 2016, Orléans, France, February 17–20, 2016. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-001-9). LIPIcs – Leibniz International Proceedings in Informatics 47, Article 32, 14 p. (2016).
MSC:  68R10 68Q25
PDF BibTeX XML Cite
Full Text: DOI arXiv
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 13, 20 p. (2016).
MSC:  03B25 03B15 03C13
PDF BibTeX XML Cite
Full Text: DOI
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 12, 17 p. (2016).
MSC:  68Q25 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Beveridge, Andrew (ed.) et al., Recent trends in combinatorics. Cham: Springer (ISBN 978-3-319-24296-5/hbk; 978-3-319-24298-9/ebook). The IMA Volumes in Mathematics and its Applications 159, 275-294 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Mäkinen, Veli (ed.) et al., Combinatorial algorithms. 27th international workshop, IWOCA 2016, Helsinki, Finland, August 17–19, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-44542-7/pbk; 978-3-319-44543-4/ebook). Lecture Notes in Computer Science 9843, 385-396 (2016).
MSC:  68Rxx 68Wxx
PDF BibTeX XML Cite
Full Text: DOI
Husfeldt, Thore (ed.) et al., 10th international symposium on parameterized and exact computation, IPEC 2015, Patras, Greece, September 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-92-7). LIPIcs – Leibniz International Proceedings in Informatics 43, 224-235 (2015).
MSC:  68W10 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Campêlo, Manoel (ed.) et al., LAGOS ’15. Selected papers of the 8th Latin-American algorithms, graphs, and optimization symposium, Praia das Fontes, Beberibe, Brazil, May 11–15, 2015. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 50, 3-8, electronic only (2015).
MSC:  03D05 68Q45 05C12 05C69 03B15
PDF BibTeX XML Cite
Full Text: DOI
Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20806-0/pbk; 978-3-319-20807-7/ebook). Lecture Notes in Computer Science 9161. Lecture Notes in Artificial Intelligence, 387-396 (2015).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 47th annual ACM symposium on theory of computing, STOC ’15, Portland, OR, USA, June 14–17, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3536-2). 655-664 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Proceedings of the 26th international conference on formal power series and algebraic combinatorics, FPSAC 2014, Chicago, IL, USA, June 29 – July 3, 2014. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 357-368 (2014).
MSC:  05C50 05C25 68Q25
PDF BibTeX XML Cite
Full Text: Link arXiv
Pardo, Alberto (ed.) et al., LATIN 2014: theoretical informatics. 11th Latin American symposium, Montevideo, Uruguay, March 31 – April 4, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54422-4/pbk). Lecture Notes in Computer Science 8392, 72-83 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Portier, Natacha (ed.) et al., 30th international symposium on theoretical aspects of computer science, STACS’ 13, Kiel, Germany, February 27 – March 2, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-50-7). LIPIcs – Leibniz International Proceedings in Informatics 20, 44-54 (2013).
MSC:  68Q17
PDF BibTeX XML Cite
Full Text: DOI
Synthesis Lectures on Artificial Intelligence and Machine Learning 23. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-197-2/pbk; 978-1-62705-198-9/ebook). xiv, 177 p. (2013).
MSC:  68-02 62-09 68T05 68T10 68R10 62H30 68T30
PDF BibTeX XML Cite
Full Text: DOI
D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 173-184 (2012).
MSC:  68Q85 68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI
D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 112-123 (2012).
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