Principles of Model Checking (The MIT Press)
by Christel Baier,Joost-Pieter Katoen
ISBN 13: 9780262026499
Format: Illustrated (975 pages) Publisher: The MIT Press Published: 03 Jun 2008
Save for later
Decoding the Universe: How the New Science of Information Is Explaining Everything in the Cosmos, Fromour Brains to Black Holes
by Charles Seife
ISBN 13: 9780143038399
Format: Paperback (304 pages) Publisher: Penguin Books Published: 30 Jan 2007
Facebook API Developers Guide (Firstpress)
by Wayne Graham
ISBN 13: 9781430209690
Format: Paperback (152 pages) Publisher: Apress Published: 31 Mar 2008
Dynamic Models in Biology
by Stephen P. Ellner,John Guckenheimer
ISBN 13: 9780691125893
Format: Paperback (352 pages) Publisher: Princeton University Press Published: 27 Mar 2006
Programming Languages and Operational Semantics: An Introduction
by Maribel Fernandez
ISBN 13: 9780954300630
Format: Paperback (156 pages) Publisher: King's College Publications Published: 30 Jan 2004
Cyber Fraud
by Rick Howard
ISBN 13: 9781420091274
Format: Hardcover (520 pages) Publisher: Auerbach Publications Published: 23 Apr 2009
The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma
by B. Jack Copeland,B. Jack Copeland
ISBN 13: 9780198250807
Format: Illustrated (622 pages) Publisher: Oxford University Press, USA Published: 18 Nov 2004
Modeling Structured Finance Cash Flows with Microsoft Excel: A Step-By-Step Guide: 370 (Wiley Finance)
by Keith A. Allman
ISBN 13: 9780470042908
Format: Illustrated (224 pages) Publisher: Wiley Published: 01 Mar 2007
Linux Device Drivers 3e
by Jonathan Corbet
ISBN 13: 9780596005900
Format: Paperback (636 pages) Publisher: O′Reilly Published: 17 Feb 2005 Other Format: Paperback
Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems: 14 (Springer Series in Computational Mathematics, 14)
by Ernst Hairer,Gerhard Wanner
ISBN 13: 9783540604525
Format: Illustrated (629 pages) Publisher: Springer Published: 20 Sep 1996 Other Format: Illustrated
Text Mining: Classification, Clustering, and Applications: 10 (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)
by Ashok N. Srivastava,Mehran Sahami,Vipin Kumar
ISBN 13: 9781420059403
Format: Hardcover (328 pages) Publisher: Chapman and Hall/CRC Published: 23 Jun 2009
Fire Your Broker and Trade Online: Everything You Need to Start Investing Online
by Jonathan Reed Aspatore
ISBN 13: 9780071359481
Format: Illustrated (212 pages) Publisher: McGraw-Hill Companies Published: 01 Jan 2000