Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)
by Katalin Bimbó
ISBN 13: 9781439800003
Format: Hardcover (357 pages) Publisher: Chapman and Hall/CRC Published: 19 Jul 2011
Save for later
Brouwer's Cambridge Lectures on Intuitionism
by Luitzen Egbertus Jan Brouwer
ISBN 13: 9780521177368
Format: Paperback (122 pages) Publisher: Cambridge University Press Published: 03 Mar 2011
Geometric, Control and Numerical Aspects of Nonholonomic Systems (Lecture Notes in Mathematics)
by Jorge Cortés Monforte
ISBN 13: 9783540441540
Format: Paperback (233 pages) Publisher: Springer Published: 11 Sep 2002
Lattice Theory: Foundation
by George Grätzer
ISBN 13: 9783034800174
Format: Paperback (642 pages) Publisher: Springer Basel Published: 07 Feb 2011
Visual Cryptography and Secret Image Sharing (Digital Imaging and Computer Vision)
by
ISBN 13: 9781439837214
Format: Hardcover (545 pages) Publisher: CRC Press Published: 16 Sep 2011
Codes: The Guide to Secrecy from Ancient to Modern Times (Discrete Mathematics & Its Application)
by Richard A. Mollin
ISBN 13: 9781584884705
Format: Hardcover (704 pages) Publisher: Chapman and Hall/CRC Published: 24 May 2005
The Mathematics of Language: 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642232107
Format: Paperback (231 pages) Publisher: Springer Published: 19 Aug 2011
Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by Lukasz Kaiser
ISBN 13: 9783642228063
Format: Paperback (130 pages) Publisher: Springer Published: 22 Jul 2011
Introduction to Homotopy Theory (Universitext)
by Martin Arkowitz
ISBN 13: 9781441973283
Format: Paperback (357 pages) Publisher: Springer Published: 23 Jul 2011
Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642218743
Format: Paperback (332 pages) Publisher: Springer Published: 22 Jun 2011
The Strength of Nonstandard Analysis
ISBN 13: 9783211998922
Format: Paperback (421 pages) Publisher: Springer Published: 13 Oct 2010
The Nature of Computation
by Cristopher Moore, Stephan Mertens
ISBN 13: 9780199233212
Format: Hardcover (1032 pages) Publisher: OUP Oxford Published: Jun 2011