×

zbMATH — the first resource for mathematics

Found 257 Documents (Results 1–100)

100
MathJax
Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer (ISBN 978-3-030-34315-6/hbk; 978-3-030-34316-3/ebook). Jerusalem Studies in Philosophy and History of Science, 399-422 (2020).
MSC:  03 81 60
PDF BibTeX XML Cite
Full Text: DOI
Češka, Milan (ed.) et al., Computational methods in systems biology. 16th international conference, CMSB 2018, Brno, Czech Republic, September 12–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99428-4/pbk; 978-3-319-99429-1/ebook). Lecture Notes in Computer Science 11095. Lecture Notes in Bioinformatics, 300-306 (2018).
MSC:  92C45 92C40 92-08
PDF BibTeX XML Cite
Full Text: DOI
Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 18. Proceedings of the 18th seminar (PANM), Janov nad Nisou, Czech Republic, June 19–24, 2016. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics. 73-80 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Dokl. Math. 93, No. 2, 238-240 (2016); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 467, No. 4, 396-399 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 7th ACM conference on innovations in theoretical computer science, ITCS’16, Cambridge, MA, USA, January 14–16, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4057-1). 59-70 (2016).
MSC:  68Q05 68Q25 94C10
PDF BibTeX XML Cite
Full Text: DOI
Institute of Mathematical Statistics Textbooks 5. Cambridge: Cambridge University Press (ISBN 978-1-107-07643-3/hbk; 978-1-107-43255-0/pbk; 978-1-139-92416-0/ebook). xvii, 203 p. (2015).
MSC:  06-02 60-02 06E10 94C10 60H40 60K35 60J67
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 46th annual ACM symposium on theory of computing, STOC ’14, New York, NY, USA, May 31 – June 3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2710-7). 437-440 (2014).
MSC:  68Q32 68Q17
PDF BibTeX XML Cite
Full Text: DOI arXiv

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