×

zbMATH — the first resource for mathematics

Found 358 Documents (Results 1–100)

100
MathJax
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 37, 21 p. (2017).
MSC:  03C13 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Huisman, Marieke (ed.) et al., Fundamental approaches to software engineering. 20th international conference, FASE 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10202, 226-243 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 63, 10 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Tanaka, Shu (ed.) et al., Physics, mathematics, and all that quantum jazz. Proceedings of the summer workshop, Kinki University, Osaka, Japan, August 7–9, 2013. Hackensack, NJ: World Scientific (ISBN 978-981-4602-36-5/hbk; 978-981-4602-38-9/ebook). Kinki University Series on Quantum Computing 9, 71-88 (2014).
MSC:  81P40 82C10 76M28
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