×

zbMATH — the first resource for mathematics

Found 102 Documents (Results 1–100)

100
MathJax
Springer-Lehrbuch. Wiesbaden: Springer Vieweg (ISBN 978-3-658-03078-0/pbk; 978-3-658-03079-7/ebook). x, 222 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 495-508 (2010).
MSC:  68Q60 68N30 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 416-428 (2009).
MSC:  68N30 68N18 68Q60
PDF BibTeX XML Cite
Full Text: DOI
de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 107-121 (2009).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Simpson, Stephen G. (ed.), Reverse mathematics 2001. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-263-9/hbk; 1-56881-264-7/pbk). Lecture Notes in Logic 21, 120-146 (2005).
MSC:  03F30 03D25 03F35
PDF BibTeX XML Cite
Dasgupta, Anirban (ed.), A Festschrift for Herman Rubin. Beachwood, OH: IMS, Institute of Mathematical Statistics (ISBN 0-940600-61-7/pbk). Institute of Mathematical Statistics Lecture Notes - Monograph Series 45, 153-163 (2004).
MSC:  60E05 33C45
PDF BibTeX XML Cite
Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 259-282 (1995).
PDF BibTeX XML Cite
Rassias, Th. M. (ed.) et al., Topics in polynomials of one and several variables and their applications. Volume dedicated to the memory of P. L. Chebyshev (1821-1894). Singapore: World Scientific. 247-271 (1993).
MSC:  42C05 33C45
PDF BibTeX XML Cite
Aczel, Peter (ed.) et al., Proof theory. A selection of papers from the Leeds proof theory programme, an international summer school and conference on proof theory, held at the Leeds University, UK, from July 24-August 2, 1990. Cambridge: Cambridge University Press. 253-273 (1992).
PDF BibTeX XML Cite
Sov. J. Comput. Syst. Sci. 27, No. 2, 60-64 (1989); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1988, No. 6, 39-44 (1988).
Reviewer: P.Cotae
MSC:  62L20 60G35 94A12
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