×

zbMATH — the first resource for mathematics

Found 759 Documents (Results 1–100)

100
MathJax
Herzig, Andreas (ed.) et al., Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11715, 223-239 (2019).
MSC:  68V15 68R07
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 242, No. 4, 487-508 (2019); translation from Zap. Nauchn. Semin. POMI 469, 32-63 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Berlin: FU Berlin, Fachbereich Mathematik und Informatik (Diss. 2019). xiii, 194 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI Link
J. Math. Sci., New York 234, No. 5, 640-658 (2018); translation from Zap. Nauchn. Semin. POMI 458, 77-103 (2017).
MSC:  11K50
PDF BibTeX XML Cite
Full Text: DOI
Moscow: Mann, Ivanov i Ferber (ISBN 978-5-00100-521-6/hbk). 189 p. (2017).
PDF BibTeX XML Cite
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 51, 14 p. (2016).
MSC:  90C05 68Q17 90C49
PDF BibTeX XML Cite
Full Text: DOI
New York, NY: Palgrave Macmillan (ISBN 978-1-137-57391-9/hbk; 978-1-137-57392-6/ebook). xix, 454 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Mayr, Ernst W. (ed.) et al., 32nd international symposium on theoretical aspects of computer science, STACS’15, Garching, Germany, March 4–7, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-78-1). LIPIcs – Leibniz International Proceedings in Informatics 30, 171-183 (2015).
MSC:  68Q25 68W05 90C05
PDF BibTeX XML Cite
Full Text: DOI
Thi, Hoai An Le (ed.) et al., Advanced computational methods for knowledge engineering. Proceedings of 3rd international conference on computer science, applied mathematics and applications – ICCSAMA 2015. Extended versions of papers, Metz, France, May 11–13, 2015. Cham: Springer (ISBN 978-3-319-17995-7/pbk; 978-3-319-17996-4/ebook). Advances in Intelligent Systems and Computing 358, 3-13 (2015).
MSC:  90C30 90C31
PDF BibTeX XML Cite
Full Text: DOI
De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 86-101 (2015).
MSC:  68T15
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). 209-218 (2015).
MSC:  90C05 68Q25 68W20
PDF BibTeX XML Cite
Full Text: DOI
Advances in Applied Mathematics (Boca Raton). Boca Raton, FL: CRC Press (ISBN 978-1-4987-1016-9/hbk; 978-1-4987-1022-0/ebook). xxix, 656 p. (2015).
PDF BibTeX XML Cite
Augsburger Schriften zur Mathematik, Physik und Informatik 26. Berlin: Logos Verlag; Augsburg: Univ. Augsburg, Institut für Mathematik (Diss.) (ISBN 978-3-8325-3788-3/pbk). 225 p. (2014).
MSC:  90C05 90-02
PDF BibTeX XML Cite
Proceedings of the 45th annual ACM symposium on theory of computing, STOC ’13. Palo Alto, CA, USA, June 1–4, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2029-0). 535-544 (2013).
MSC:  05C70 68Q17 68W25
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