×

zbMATH — the first resource for mathematics

Found 36 Documents (Results 1–36)

100
MathJax
Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-88-0). LIPIcs – Leibniz International Proceedings in Informatics 39, 72-88 (2015).
MSC:  68N18 68N30 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Dawson, Donald (ed.) et al., Asymptotic laws and methods in stochastics. A volume in honour of Miklós Csörgő on the occasion of his 80th birthday. Proceedings of the international symposium on asymptotic methods in stochastics, Ottawa, Canada, July 3–6, 2012. Toronto: The Fields Institute for Research in the Mathematical Sciences; New York, NY: Springer (ISBN 978-1-4939-3075-3/hbk; 978-1-4939-3076-0/ebook). Fields Institute Communications 76, 3-15 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Ball, Joseph A. (ed.) et al., Recent progress in operator theory and its applications. Proceedings of the 20th international workshop on operator theory and applications (IWOTA), Guanajuato, Mexico, September 21–25, 2009. Basel: Birkhäuser (ISBN 978-3-0348-0345-8/hbk; 978-3-0348-0346-5/ebook). Operator Theory: Advances and Applications 220, 227-237 (2012).
MSC:  35J70 35B50 35B27
PDF BibTeX XML Cite
Full Text: DOI
Seda, Anthony (ed.) et al., Proceedings of the Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2006), National University of Ireland, Cork, Ireland, August 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 225, 161-179 (2009).
MSC:  68N18 18C50 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Lasiecka, Irena (ed.) et al., Control problems in industry. Proceedings from the SIAM symposium on control problems, San Diego, California, USA, July 22-23, 1994. Boston: Birkhäuser. Prog. Syst. Control Theory. 21, 301-324 (1995).
MSC:  68U10 93C20 93B29 93E11
PDF BibTeX XML Cite
Bezem, Marc (ed.) et al., Typed Lambda calculi and applications. International conference, TLCA ’93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 664, 179-194 (1993).
MSC:  03G30 03B40 18B25 68Q45 03B15
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
Software