×

zbMATH — the first resource for mathematics

Found 255 Documents (Results 1–100)

100
MathJax
Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 10, 18 p. (2018).
MSC:  03F52
PDF BibTeX XML Cite
Full Text: DOI
Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). viii, 112 p. (2016).
PDF BibTeX XML Cite
Full Text: Link Link
Pitts, Andrew (ed.), Foundations of software science and computation structures. 18th international conference, FOSSACS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46677-3/pbk; 978-3-662-46678-0/ebook). Lecture Notes in Computer Science 9034, 436-450 (2015).
MSC:  03F52 03B47
PDF BibTeX XML Cite
Full Text: DOI
Proc. Steklov Inst. Math. 279, Suppl. 1, S107-S112 (2012); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 17, No. 4, 316-320 (2011).
MSC:  05C25
PDF BibTeX XML Cite
Full Text: DOI
Loy, Richard J. (ed.) et al., Banach algebras 2009. Proceedings of the 19th international conference, Bȩdlewo, Poland, July 14–24, 2009. Warszawa: Polish Academy of Sciences, Institute of Mathematics (ISBN 978-83-86806-10-2/pbk). Banach Center Publications 91, 441-454 (2010).
MSC:  46H20 43A20 46-02
PDF BibTeX XML Cite
Full Text: DOI
Loy, Richard J. (ed.) et al., Banach algebras 2009. Proceedings of the 19th international conference, Bȩdlewo, Poland, July 14–24, 2009. Warszawa: Polish Academy of Sciences, Institute of Mathematics (ISBN 978-83-86806-10-2/pbk). Banach Center Publications 91, 423-440 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Ball, Joseph A. (ed.) et al., Topics in operator theory. Volume 1: Operators, matrices and analytic functions. Proceedings of the 19th international workshop on operator theory and applications (IWOTA), College of William and Mary, Williamsburg, VA, USA, July 22–26, 2008. A tribute to Israel Gohberg on the occasion of his 80th birthday. Basel: Birkhäuser (ISBN 978-3-0346-0157-3/hbk; 978-3-0346-0163-4/set; 978-3-0346-0158-0/ebook). Operator Theory: Advances and Applications 202, 509-518 (2010).
PDF BibTeX XML Cite
Lewis, I. Wayne (ed.) et al., Continuum theory. In honor of Professor David P. Bellamy on the occasion of his 60th birthday. Proceedings of the special session held at the 6th joint international meeting of the American Mathematical Society (AMS) and the Sociedad Matemática Méxicana, Houston, TX, USA, May 13–15, 2004. México: Sociedad Matemática Mexicana (ISBN 978-970-32-5046-2/pbk). Aportaciones Matemáticas: Investigación 19, 97-116 (2007).
MSC:  54B20 54C15 54F15
PDF BibTeX XML Cite

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
Software