×

zbMATH — the first resource for mathematics

Found 629 Documents (Results 1–100)

100
MathJax
Kimelfeld, Benny (ed.) et al., 21st international conference on database theory, ICDT 2018, Vienna, Austria, March 26–29, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 98, Article 10, 17 p. (2018).
MSC:  68P15
PDF BibTeX XML Cite
Full Text: DOI
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 493-510 (2018).
MSC:  03B47 03G25 68Q45
PDF BibTeX XML Cite
Okamoto, Yoshio (ed.) et al., 28th international symposium on algorithms and computation, ISAAC 2017, December 9–12, 2017, Phuket, Thailand. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 92, Article 65, 13 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 393-407 (2016).
MSC:  68P15 68T37
PDF BibTeX XML Cite
Full Text: DOI
Zack, Maria (ed.) et al., Research in history and philosophy of mathematics. The CSHPM 2015 annual meeting in Washington, D. C., USA, August, 2015. Basel: Birkhäuser/Springer (ISBN 978-3-319-43269-4/hbk; 978-3-319-46615-6/ebook). Proceedings of the Canadian Society for History and Philosophy of Mathematics/La Société Canadienne d’Histoire et de Philosophie des Mathématiques, 83-91 (2016).
MSC:  01A55 15-03 16-03
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 120, 13 p. (2016).
MSC:  68P15
PDF BibTeX XML Cite
Full Text: DOI
Arenas, Marcelo (ed.) et al., 18th international conference on database theory, ICDT’15, Brussels, Belgium, March 23–27, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-79-8). LIPIcs – Leibniz International Proceedings in Informatics 31, 324-341 (2015).
MSC:  68P15 68Q10 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 15th international conference, RAMiCS 2015, Braga, Portugal, September 28 – October 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9348, 362-379 (2015).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 149-180, electronic only (2014).
MSC:  68N15 68N30 68-02
PDF BibTeX XML Cite
Full Text: DOI
Russ. Math. 58, No. 8, 74-77 (2014); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2014, No. 8, 90-95 (2014).
MSC:  08B05 08A02 20M07
PDF BibTeX XML Cite
Full Text: DOI
Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 327-343 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 157-172 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Pfeiffer, Heather D. (ed.) et al., Conceptual structures for STEM research and education. 20th international conference on conceptual structures, ICCS 2013, Mumbay, India, January 10–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-35785-5/pbk; 978-3-642-35786-2/ebook). Lecture Notes in Computer Science 7735, 301-310 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Schulte, Christian (ed.), Principles and practice of constraint programming. 19th international conference, CP 2013, Uppsala, Sweden, September 16–20, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8124, 184-199 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Springer-Lehrbuch. Wiesbaden: Springer Vieweg (ISBN 978-3-658-02710-0/pbk; 978-3-658-02711-7/ebook). x, 238 p. (2013).
MSC:  06-01
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