×

zbMATH — the first resource for mathematics

Found 282 Documents (Results 1–100)

100
MathJax
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 615-622 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Proc. Steklov Inst. Math. 294, 47-66 (2016); translation from Tr. Mat. Inst. Steklova 294, 54-75 (2016).
MSC:  13F25
PDF BibTeX XML Cite
Full Text: DOI arXiv
Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 226-241 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Pardalos, Panos M. (ed.) et al., Nonlinear analysis. Stability, approximation, and inequalities. In honor of Themistocles M. Rassias on the occasion of his 60th birthday. New York, NY: Springer (ISBN 978-1-4614-3497-9/hbk; 978-1-4614-3498-6/ebook). Springer Optimization and Its Applications 68, 305-315 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Fathi, Albert (ed.) et al., Symplectic topology and measure preserving dynamical systems. Papers of the AMS-IMS-SIAM joint summer research conference, Snowbird, UT, USA, July 1–5, 2007. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4892-0/pbk). Contemporary Mathematics 512, 149-177 (2010).
MSC:  53D05 28D10 58D05
PDF BibTeX XML Cite
Full Text: arXiv
Di Maio, Giuseppe (ed.) et al., Theory and applications of proximity, nearness and uniformity. Caserta: Dipartimento di Matematica, Seconda Università di Napoli; Rome: Aracne (ISBN 978-88-548-2857-5/hbk). Quaderni di Matematica 22, 275-297 (2009).
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
all top 3
Software