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
Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642194856
Format: Paperback (164 pages) Publisher: Springer Published: 16 Mar 2011
Language, Games, and Evolution: Trends in Current Research on Language and Game Theory (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642180057
Format: Paperback (196 pages) Publisher: Springer Published: 14 Mar 2011
Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783642197536
Format: Paperback (275 pages) Publisher: Springer Published: 14 Mar 2011
Logical Dilemmas: The Life and Work of Kurt Godel
by John Dawson
ISBN 13: 9781568812564
Format: Paperback (376 pages) Publisher: A K Peters/CRC Press Published: 06 Jun 2005
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
by Torkel Franzén
ISBN 13: 9781568812380
Format: Paperback (182 pages) Publisher: Routledge Published: 06 Jun 2005
Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th ... Computer Science and General Issues)
by N/A
ISBN 13: 9783642046384
Format: Paperback (367 pages) Publisher: Springer Published: 05 Oct 2009
Referential Opacity and Modal Logic (Studies in Philosophy)
ISBN 13: 9780415998444
Format: Paperback (200 pages) Publisher: Routledge Published: 07 Dec 2009