Computation Engineering: Applied Automata Theory and Logic
by Ganesh Gopalakrishnan
ISBN 13: 9781441937414
Format: Paperback (512 pages) Publisher: Springer Published: 12 Feb 2010
Save for later
Handbook of Mathematical Cognition
by Jamie I.D. Campbell
ISBN 13: 9781841694115
Format: Hardcover (528 pages) Publisher: Psychology Press Published: 27 Jan 2005
An Introduction to Practical Formal Methods Using Temporal Logic
by Michael Fisher
ISBN 13: 9780470027882
Format: Hardcover (360 pages) Publisher: Wiley-Blackwell Published: 18 Apr 2011
Coding Theory and Cryptography: The Essentials (Pure and Applied Mathematics)
by D.C. Hankerson,Gary Hoffman,D.A. Leonard,Charles C. Lindner,K.T. Phelps,C.A. Rodger,J.R. Wall
ISBN 13: 9780824704650
Format: Hardcover (350 pages) Publisher: CRC Press Published: 04 Aug 2000
Discrete Thoughts: Essays on Mathematics, Science and Philosophy (Modern Birkhäuser Classics)
by Mark Kac,Gian-Carlo Rota,Jacob T. Schwartz
ISBN 13: 9780817647742
Format: Paperback (276 pages) Publisher: Birkhauser Published: 25 Jan 2008
Finite Structures with Few Types. (AM-152): 165 (Annals of Mathematics Studies)
by Gregory Cherlin, Ehud Hrushovski
ISBN 13: 9780691113326
Format: Paperback (200 pages) Publisher: Princeton University Press Published: 23 Dec 2002
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming
by Christopher John Hogger,D. M. Gabbay,C. Hogger
ISBN 13: 9780198537922
Format: Illustrated (816 pages) Publisher: OUP Oxford Published: 08 Jan 1998
Agents for Games and Simulations: Trends in Techniques, Concepts and Design (Lecture Notes in Computer Science)
by Frank Dignum, Jeff Bradshaw, Barry G. Silverman, Willem van Doesburg
ISBN 13: 9783642111976
Format: Paperback (273 pages) Publisher: Springer Published: 21 Dec 2009
Game Set and Math: Enigmas and Conundrums (Dover Books on MaTHEMA 1.4tics)
by Ian Stewart
ISBN 13: 9780486458847
Format: Illustrated (208 pages) Publisher: Dover Publications Inc Published: 12 May 2007
Transactions on Rough Sets IX (Lecture Notes in Computer Science)
by James F. Peters, Andrzej Skowron, Henryk Rybinski
ISBN 13: 9783540898757
Format: Paperback (751 pages) Publisher: Springer Published: 18 Dec 2008
Descartes' Error: Emotion, Reason, and the Human Brain
by Antonio R Damasio
ISBN 13: 9780143036227
Format: Illustrated (312 pages) Publisher: Penguin Group Published: 27 Sep 2005 Other Format: paperback
Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings: 5937 (Lecture Notes in Computer Science)
by Manuel Carro,Ricardo Peña
ISBN 13: 9783642115028
Format: Illustrated (297 pages) Publisher: Springer Published: 12 Jan 2010