Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53)
by Patrick Blackburn
ISBN 13: 9780521527149
Format: Illustrated (578 pages) Publisher: Cambridge University Press Published: 22 Aug 2002
Save for later
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)
by Ana Cavalcanti,Dennis Dams
ISBN 13: 9783642050886
Format: Paperback (840 pages) Publisher: Springer Published: 26 Oct 2009
Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, ... Computer Science and General Issues)
by Anupam Datta
ISBN 13: 9783642106217
Format: Paperback (159 pages) Publisher: Springer Published: 24 Nov 2009
Sets, Functions, and Logic (Chapman & Hall Mathematics)
by Keith Devlin
ISBN 13: 9781584884491
Format: Hardcover (160 pages) Publisher: Chapman and Hall/CRC Published: 24 Nov 2003
Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series)
by
ISBN 13: 9780521718202
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 10 Mar 2011
An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)
by George R. R. Exner
ISBN 13: 9780387946177
Format: Illustrated (224 pages) Publisher: Springer Published: 22 Jun 1999
Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series)
by Allen L. Mann,Gabriel Sandu,Merlijn Sevenster
ISBN 13: 9780521149341
Format: Paperback (216 pages) Publisher: Cambridge University Press Published: 05 May 2011
The Colorado Mathematical Olympiad and Further Explorations: From the Mountains of Colorado to the Peaks of Mathematics: The First Twenty Years and Further Explorations
by Alexander Soifer
ISBN 13: 9780387754710
Format: Paperback (447 pages) Publisher: Springer Published: 11 Apr 2011
Lectures on Concurrency and Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science)
ISBN 13: 9783540222613
Format: Paperback (857 pages) Publisher: Springer Published: 14 Jun 2004
Reconfigurable Computing: Accelerating Computation with Field-Programmable Gate Arrays
by Maya B. Gokhale,Paul S. Graham
ISBN 13: 9781441938657
Format: Paperback (248 pages) Publisher: Springer Published: 12 Oct 2010
Computation Engineering: Applied Automata Theory and Logic
by Ganesh Gopalakrishnan
ISBN 13: 9781441937414
Format: Paperback (512 pages) Publisher: Springer Published: 12 Feb 2010
Handbook of Mathematical Cognition
by Jamie I.D. Campbell
ISBN 13: 9781841694115
Format: Hardcover (528 pages) Publisher: Psychology Press Published: 27 Jan 2005