×

zbMATH — the first resource for mathematics

Found 174 Documents (Results 1–100)

100
MathJax
Lecture Notes in Logic 48. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-108-41558-3/hbk; 978-1-108-23423-8/ebook). vii, 243 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 105-126 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Raghavendra, Prasad (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 16th international workshop, APPROX 2013, and 17th international workshop, RANDOM 2013, Berkeley, CA, USA, August 21–23, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40327-9/pbk). Lecture Notes in Computer Science 8096, 58-70 (2013).
MSC:  68Q25 68Q87 68W27
PDF BibTeX XML Cite
Full Text: DOI
Cooper, S. Barry (ed.) et al., Computability in context. Computation and logic in the real world. London: Imperial College Press (ISBN 978-1-84816-245-7/hbk; 978-1-84816-277-8/ebook). 297-327 (2011).
MSC:  03D65
PDF BibTeX XML Cite
Abdulla, Parosh Aziz (ed.) et al., Tools and algorithms for the construction and analysis of systems. 17th international conference, TACAS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19834-2/pbk). Lecture Notes in Computer Science 6605, 45-59 (2011).
MSC:  68T15 03B25 03B35 03D40
PDF BibTeX XML Cite
Full Text: DOI
Amdeberhan, Tewodros (ed.) et al., Gems in experimental mathematics. AMS special session on experimental mathematics, Washington, DC, January 5, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4869-2/pbk). Contemporary Mathematics 517, 143-156 (2010).
MSC:  33F10 05E99
PDF BibTeX XML Cite
Full Text: arXiv
Mathematik Kompakt. Basel: Birkhäuser (ISBN 978-3-7643-8434-0/pbk). xii, 160 p. (2009).
PDF BibTeX XML Cite
Syktyvkar: Izd. Komi Gosudarstvennyĭ Pedagogicheskiĭ Institut (ISBN 5-87661-063-1/hbk). 140 p. (2006).
PDF BibTeX XML Cite
Gordon, Cameron (ed.) et al., Proceedings of the Casson Fest. Based on the 28th University of Arkansas spring lecture series in the mathematical sciences, Fayetteville, AR, USA, April 10–12, 2003 and the conference on the topology of manifolds of dimensions 3 and 4, Austin, TX, USA, May 19–21, 2003. Coventry: Geometry and Topology Publications. Geometry and Topology Monographs 7, 291-309 (2004).
MSC:  57M27 57M25 57N10
PDF BibTeX XML Cite
Full Text: EMIS arXiv
Paris: Vuibert (ISBN 2-7117-4808-1/pbk). xviii, 363 p. (2004).
MSC:  68Q15 68Q05 68W25 68Q17 68Q25 68-01
PDF BibTeX XML Cite
Fossorier, Marc (ed.) et al., Applied algebra, algebraic algorithms and error correcting codes. 13th international symposium, AAECC-13, Honolulu, HI, USA, November 15-19, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1719, 314-323 (1999).
MSC:  94B10 94A55
PDF BibTeX XML Cite
Zahar, R. V. M. (ed.), Approximation and computation: a Festschrift in honor of Walter Gautschi. Proceedings of the Purdue conference, West Lafayette, IN, USA, December 2-5, 1993. Boston, US: Birkhäuser. ISNM, Int. Ser. Numer. Math. 119, 563-576 (1994).
MSC:  65D20 42C05
PDF BibTeX XML Cite
J. Autom. Inf. Sci. 25, No. 4, 50-56 (1992); translation from Avtomatika 1992, No. 4, 55-61 (1992).
MSC:  93E11 93C05
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
Biographic Reference
all top 3
Software