×

zbMATH — the first resource for mathematics

Found 149 Documents (Results 1–100)

100
MathJax
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 464-480 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Takáč, Martin (ed.) et al., Modeling and optimization: theory and applications. MOPTA, Bethlehem, PA, USA, August 17–19, 2016. Selected contributions. Cham: Springer (ISBN 978-3-319-66615-0/hbk; 978-3-319-66616-7/ebook). Springer Proceedings in Mathematics & Statistics 213, 95-117 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Chiba, Yuki (ed.) et al., Second international workshop on rewriting techniques for program transformations and evaluation, WPTE’15, Warsaw, Poland, July 2, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 46, 3-17 (2015).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Ahmed, Syed Ejaz (ed.), Perspectives on big data analysis: methodologies and applications. International workshop on perspectives on high-dimensional data analysis II, Centre de Recherches Mathématiques, Université de Montréal, Montréal, Canada, May 30 – June 1, 2012. Proceedings. Providence, RI: American Mathematical Society (AMS); Montreal: Centre de Recherches Mathématiques (CRM) (ISBN 978-1-4704-1042-1/pbk; 978-1-4704-1887-8/ebook). Contemporary Mathematics 622. Centre de Recherches Mathématiques Proceedings, 11-20 (2014).
PDF BibTeX XML Cite
Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 31-45 (2014).
MSC:  68N18 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Susilo, Willy (ed.) et al., Information security and privacy. 19th Australasian conference, ACISP 2014, Wollongong, NSW, Australia, July 7–9, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08343-8/pbk). Lecture Notes in Computer Science 8544, 290-305 (2014).
MSC:  94A60 94A62
PDF BibTeX XML Cite
Full Text: DOI
Bailey, David H. (ed.) et al., Computational and analytical mathematics. In Honor of Jonathan Borwein’s 60th birthday. Selected papers based on the presentations at the workshop, also known as JonFest, Simon Fraser University, BC, Canada, May 16–20, 2011. New York, NY: Springer (ISBN 978-1-4614-7620-7/hbk; 978-1-4614-7621-4/ebook). Springer Proceedings in Mathematics & Statistics 50, 613-634 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Stochastic Modelling and Applied Probability 68. Berlin: Springer (ISBN 978-3-642-39362-4/hbk; 978-3-642-39363-1/ebook). xvi, 260 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Gliklikh, Yu. E. (ed.) et al., Семинар по глобальному и стохастическому анализу. Выпуск 5. Voronezh: Voronezhskiĭ Gosudarstvennyĭ Universitet. 42-54 (2010).
PDF BibTeX XML Cite
Mosc. Univ. Math. Bull. 63, No. 3, 111-114 (2008); translation from Vestn. Mosk. Univ., Ser. I 2008, No. 3, 30-33 (2008).
MSC:  53D20 37J15
PDF BibTeX XML Cite
Full Text: DOI
Abe, Masayuki (ed.), Topics in cryptology – CT-RSA 2007. The cryptographers’ track at the RSA conference 2007, San Francisco, CA, USA, February 5-9, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-69327-7/pbk). Lecture Notes in Computer Science 4377, 339-356 (2006).
MSC:  94A62
PDF BibTeX XML Cite
Full Text: DOI
Sperlich, Stephan (ed.) et al., The art of semiparametrics. Papers based on the presentation at the conference the art of semiparametrics, Berlin, Germany, October 18–23, 2006. Heidelberg: Physica-Verlag (ISBN 3-7908-1700-7/pbk). Contributions to Statistics, 155-178 (2006).
MSC:  62G05 62F10
PDF BibTeX XML Cite
Full Text: DOI
PDF BibTeX XML Cite
Full Text: DOI
Avramov, Luchezar L. (ed.) et al., Commutative algebra. Interactions with algebraic geometry. Proceedings of the international conference, Grenoble, France, July 9–13, 2001 and the special session at the joint international meeting of the American Mathematical Society and the Société Mathématique de France, Lyon, France, July 17–20, 2001. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3233-6/pbk). Contemp. Math. 331, 153-170 (2003).
MSC:  13A02 13A35 13G05
PDF BibTeX XML Cite
Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 235-246 (2002).
MSC:  68N30 68N18 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Appl. Math. Mech., Engl. Ed. 22, No. 8, 917-924 (2001); translation from Appl. Math. Mech. 22, No. 8, 817-824 (2001).
MSC:  34C15 34C20 34C23
PDF BibTeX XML Cite
Full Text: DOI
Thorlacius, Lárus (ed.) et al., M-theory and quantum geometry. Proceedings of the NATO ASI on quantum geometry, Akureyri, Iceland, August 9-20, 1999. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 556, 285-353 (2000).
MSC:  81V05 81T13
PDF BibTeX XML Cite
Degasperis, A. (ed.) et al., Symmetry and perturbation theory (SPT’98). Proceedings of the 2nd international workshop, Rome, Italy, December 16-22, 1998. Singapore: World Scientific. 250-257 (1999).
MSC:  70F07 70H33
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