Aspects of Mathematical Logic: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), ... 9-17, 1968 (C.I.M.E. Summer Schools)
by
ISBN 13: 9783642110788
Format: Paperback (285 pages) Publisher: Springer Published: 30 Nov 2010
Save for later
Recursion Theory and Computational Complexity: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in ... June 14-23, 1979 (C.I.M.E. Summer Schools)
ISBN 13: 9783642110719
Format: Paperback (236 pages) Publisher: Springer Published: 30 Nov 2010
Categories and Commutative Algebra: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna ... 11-21,1971 (C.I.M.E. Summer Schools)
ISBN 13: 9783642109782
Format: Paperback (338 pages) Publisher: Springer Published: 30 Nov 2010
Proofs and Confirmations: The Story of the Alternating-Sign Matrix Conjecture (Spectrum)
by David M. Bressoud
ISBN 13: 9780521666466
Format: Paperback (274 pages) Publisher: Cambridge University Press Published: 13 Aug 1999
An Introduction to Probability and Inductive Logic
by Ian Hacking
ISBN 13: 9780521772877
Format: Hardcover (320 pages) Publisher: Cambridge University Press Published: 02 Jul 2001 Other Format: Paperback
Aggregation Functions (Encyclopedia of Mathematics and its Applications)
by Michel Grabisch,Jean-Luc Marichal,Radko Mesiar,Endre Pap
ISBN 13: 9780521519267
Format: Hardcover (478 pages) Publisher: Cambridge University Press Published: 09 Jul 2009
Computability Theory: An Introduction to Recursion Theory
by Herbert B. Enderton
ISBN 13: 9780123849588
Format: Hardcover (192 pages) Publisher: Academic Press Published: 30 Dec 2010
Algebraic K-Theory (Modern Birkhäuser Classics)
by Vasudevan Srinivas
ISBN 13: 9780817647360
Format: Paperback (342 pages) Publisher: Birkhauser Published: 29 Nov 2007
Cryptanalysis of Number Theoretic Ciphers (Computational mathematics)
by Samuel S. Wagstaff Jr.
ISBN 13: 9781584881537
Format: Hardcover (336 pages) Publisher: Chapman and Hall/CRC Published: 10 Dec 2002
Language and Automata Theory and Applications: Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642009815
Format: Paperback (754 pages) Publisher: Springer Published: 09 Mar 2009
Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642024238
Format: Paperback (353 pages) Publisher: Springer Published: 09 Jun 2009
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Leslie Lamport
ISBN 13: 9780321143068
Format: Paperback (384 pages) Publisher: Addison Wesley Published: 19 Jul 2002