Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael Michael Huth,
ISBN 13: 9780521543101
Format: paperback Publisher: Cambridge University Press
Save for later
Understanding and Applying Cryptography and Data Security
by Adam J. Elbirt
ISBN 13: 9781420061604
Format: Hardcover (416 pages) Publisher: Auerbach Publications Published: 09 Apr 2009
The Digital Signal Processing Handbook (Electrical Engineering Handbook)
by VIJAY MADISETTI
ISBN 13: 9781420045635
Format: Hardcover (2394 pages) Publisher: CRC Press Published: 22 Dec 2009
Handbook of Natural Language Processing (Chapman & Hall/CRC Machine Learning & Pattern Recognition)
by Nitin Indurkhya,Fred J. Damerau
ISBN 13: 9781420085921
Format: Illustrated (702 pages) Publisher: Chapman and Hall/CRC Published: 22 Feb 2010
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
by Michael G. Hinchey
ISBN 13: 9781852336400
Format: Illustrated (420 pages) Publisher: Springer Published: 17 Sep 1999
Distributed .NET Programming in VB .NET (.Net Developer)
by Tom Barnaby
ISBN 13: 9781590590683
Format: Illustrated (532 pages) Publisher: Apress Published: 01 Oct 2002
Technologies for E-Learning and Digital Entertainment: Third International Conference, Edutainment 2008, Nanjing, China, June 25-27, 2008, Proceedings: 5093 (Lecture Notes in Computer Science)
by Zhigeng Pan
ISBN 13: 9783540697343
Format: Paperback (816 pages) Publisher: Springer Published: 07 Jul 2008
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)
by Dexter Kozen,Carron Shankland
ISBN 13: 9783540223801
Format: Illustrated (416 pages) Publisher: Springer Published: 24 Jun 2004
Theory and Design of Digital Computer Systems
by Douglas Lewin
ISBN 13: 9780412428807
Format: Paperback (512 pages) Publisher: Springer Published: Nov 1992
Digital Logic Design
by BRIAN HOLDSWORTH
ISBN 13: 9780750645829
Format: Paperback (534 pages) Publisher: Newnes Published: 17 Apr 2000 Other Format: Paperback
Distributed Applications Engineering: Building New Applications and Managing Legacy Applications with Distributed Technologies (Practitioner Series)
by Indrajit Wijegunaratne
ISBN 13: 9783540762102
Format: Paperback (292 pages) Publisher: Springer-Verlag Published: 01 Jan 1998
Conceptual Structures in Practice (Chapman & Hall/CRC Studies in Informatics Series)
by Pascal Hitzler, Henrik Scharfe, G.Q. Zhang
ISBN 13: 9781420060621
Format: Hardcover (425 pages) Publisher: Chapman & Hall Published: 06 May 2009