×

zbMATH — the first resource for mathematics

Found 318 Documents (Results 1–100)

100
MathJax
Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 999-1026 (2018).
MSC:  68N20 68N18 68T15
PDF BibTeX XML Cite
Full Text: DOI
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 23, 18 p. (2016).
MSC:  68Q42 68Q15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 67-80 (2014).
MSC:  68N18 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 50, No. 5, 670-678 (2014); translation from Kibern. Sist. Anal. No. 5, 25-33 (2014).
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