Realizability: An Introduction to its Categorical Side: Volume 152 (Studies in Logic and the Foundations of Mathematics)
by Jaap van Oosten
ISBN 13: 9780444515841
Format: Hardcover (328 pages) Publisher: Elsevier Science Published: 06 Mar 2008
Save for later
Designing Storage for Exchange 2007 SP1 (Digital Press Storage Technologies)
by Pierre Bijaoui, Juergen Hasslauer
ISBN 13: 9781555583088
Format: Paperback (560 pages) Publisher: Digital Press Published: 30 Sep 2008
Data Warehousing Design and Advanced Engineering Applications: Methods for Complex Construction (Advances in Data Warehousing and Mining (Adwm) Book) (Premier Reference Source)
by Ladjel Bellatreche
ISBN 13: 9781605667560
Format: Illustrated (362 pages) Publisher: IGI Global Published: 15 Sep 2009
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
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
Language-driven Exploration and Implementation of Partially Re-configurable ASIPs
by Anupam Chattopadhyay,Rainer Leupers,Heinrich Meyr
ISBN 13: 9781402092961
Format: Hardcover (216 pages) Publisher: Springer Published: 10 Dec 2008
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
by W. Bibel, P.H. Schmitt
ISBN 13: 9780792351306
Format: Hardcover (448 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover, Illustrated
Learning the Korn Shell
by Arnold Robbins,Bill Rosenblatt
ISBN 13: 9780596001957
Format: Paperback (434 pages) Publisher: O'Reilly Media Published: 23 Apr 2002 Other Format: Paperback
1001 Computer Words You Need to Know (1001 Words You Need to Know)
by Jerry Pournelle,Erin McKean,Jerry Pournelle
ISBN 13: 9780195167757
Format: Hardcover (260 pages) Publisher: Oxford University Press Published: 22 Apr 2004
Inside the Object Model: The Sensible Use Of C++: 4 (SIGS: Advances in Object Technology, Series Number 4)
by David M. Papurt
ISBN 13: 9780132073660
Format: Paperback (522 pages) Publisher: Cambridge University Press Published: 13 Dec 1997
Managing Knowledge Networks
by J. David Johnson
ISBN 13: 9780521735520
Format: Paperback (378 pages) Publisher: Cambridge University Press Published: 01 Oct 2009 Other Format: Illustrated
Rules of Play: Game Design Fundamentals
by Katie Salen,Eric Zimmerman
ISBN 13: 9780262240451
Format: Illustrated (688 pages) Publisher: MIT Press Published: 04 Nov 2003