×

zbMATH — the first resource for mathematics

Found 1,698 Documents (Results 1–100)

100
MathJax
Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-17126-1/pbk; 978-3-030-17127-8/ebook). Lecture Notes in Computer Science 11425, 348-364 (2019).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 133-145 (2018).
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, 604-619 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Klingenberg, Christian (ed.) et al., Theory, numerics and applications of hyperbolic problems II, Aachen, Germany, August 2016. Cham: Springer. Springer Proc. Math. Stat. 237, 321-333 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 108, 14 p. (2017).
MSC:  03B20 03B25 03D15
PDF BibTeX XML Cite
Full Text: DOI
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 19, 16 p. (2017).
MSC:  03B10 03B25 68Q15
PDF BibTeX XML Cite
Full Text: DOI
Takáč, Martin (ed.) et al., Modeling and optimization: theory and applications. MOPTA, Bethlehem, PA, USA, August 17–19, 2016. Selected contributions. Cham: Springer (ISBN 978-3-319-66615-0/hbk; 978-3-319-66616-7/ebook). Springer Proceedings in Mathematics & Statistics 213, 65-84 (2017).
MSC:  49J27 49M29
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
Biographic Reference
all top 3
Software