Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
by T. F. Melham
ISBN 13: 9780521417181
Format: Hardcover (179 pages) Publisher: Cambridge University Press Published: 11 Nov 1993
Save for later
Search Engine Marketing
by Andreas Ramos
ISBN 13: 9780071597333
Format: Illustrated (288 pages) Publisher: McGraw-Hill Education Published: 01 Dec 2008
COM and .NET Interoperability (Expert's Voice)
by Andrew Troelsen
ISBN 13: 9781590590119
Format: Paperback (845 pages) Publisher: Apress Published: 01 May 2002
RT Essentials: Managing Your Team and Projects with Request Tracker
by Jesse Vincent
ISBN 13: 9780596006686
Format: Illustrated (224 pages) Publisher: O′Reilly Published: 28 Aug 2005
Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science
by Richard Lassaigne,Michel de Rougemont
ISBN 13: 9781852335656
Format: Illustrated (376 pages) Publisher: Springer Published: 20 Jan 2004
Win Home Server For Dummies
by Woody Leonhard
ISBN 13: 9780470185926
Format: Illustrated (384 pages) Publisher: For Dummies Published: 23 Nov 2007
Automated Defect Prevention: Best Practices in Software Management (IEEE Press)
by Huizinga,Kolawa
ISBN 13: 9780470042120
Format: Illustrated (454 pages) Publisher: John Wiley & Sons Published: 09 Oct 2007
Advances in Computational Science and Engineering: Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, ... in Computer and Information Science)
by Laurence Tianruo Yang,Jong Hyuk Park,Thanos Vasilakos,Yan Zhang,Damien Sauveron,Xingang Wang,Young-Sik Jeong
ISBN 13: 9783642102370
Format: Illustrated (272 pages) Publisher: Springer Published: 02 Nov 2009
How to Survive in the Jungle of Enterprise Architecture Frameworks: Creating or Choosing an Enterprise Architecture Framework
by Jaap Schekkerman
ISBN 13: 9781412016070
Format: Paperback (100 pages) Publisher: Trafford Publishing Published: 06 Jul 2006
Entertainment Computing - ICEC 2009: 8th International Conference, ICEC 2009, Paris, France, September 3-5, 2009, Proceedings: 8th International ... (Lecture Notes in Computer Science)
by Stephane Natkin,Jerome Dupire
ISBN 13: 9783642040511
Format: Paperback (356 pages) Publisher: Springer Published: 28 Aug 2009
Programming Constraint Services: High-Level Programming of Standard and New Constraint Services: 2302 (Lecture Notes in Computer Science)
by Christian Schulte
ISBN 13: 9783540433712
Format: Paperback (188 pages) Publisher: Springer Published: 20 Mar 2002
PC Housekeeping: Maximizing Your PC
by James G. Meade
ISBN 13: 9781583480342
Format: Paperback (320 pages) Publisher: iUniverse.com Published: 19 Dec 1998