×

zbMATH — the first resource for mathematics

Found 174 Documents (Results 1–100)

100
MathJax
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 473-480 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Quantum Science and Technology. New York, NY: Springer (ISBN 978-1-4939-9082-5/hbk; 978-1-4939-9084-9/ebook). xxii, 364 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 33, 16 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-55385-5/pbk; 978-3-662-55386-2/ebook). Lecture Notes in Computer Science 10388, 371-386 (2017).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Cano, Leonardo (ed.) et al., Geometric, algebraic and topological methods for quantum field theory. Proceedings of the 8th Villa de Leyva summer school, Villa de Leyva, Colombia, July 15–27, 2013. Hackensack, NJ: World Scientific (ISBN 978-981-4730-87-7/hbk; 978-981-4730-89-1/ebook). 1-74 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Ferraro, Maria Brigida (ed.) et al., Soft methods for data science. Selected papers based on the presentations at the 8th international conference on soft methods in probability and statistics, SMPS 2016, Rome, Italy, September 12–14, 2016. Cham: Springer. Adv. Intell. Syst. Comput. 456, 391-398 (2017).
MSC:  62-07 62F03 60A05
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Physics 933. Cham: Springer (ISBN 978-3-319-51456-7/pbk; 978-3-319-51458-1/ebook). xi, 177 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 107-122 (2015).
MSC:  68N30 03B40 68N18 68Q55 68T15
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