Buy Used and New Architecture & Microprocessors Books

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540733676

Format: Paperback (562 pages)
Publisher: Springer
Published: 02 Jul 2007

Save for later

Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... / Programming and Software Engineering)

by

ISBN 13: 9783540779643

Format: Paperback (267 pages)
Publisher: Springer
Published: 01 Feb 2008

Save for later

Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540790020

Format: Paperback (331 pages)
Publisher: Springer
Published: 08 Apr 2008

Save for later

Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 ... / Programming and Software Engineering)

by

ISBN 13: 9783540688549

Format: Paperback (341 pages)
Publisher: Springer
Published: 27 May 2008

Save for later

Eda for IC Implementation, Circuit Design, and Processtechnology (Electronic Design Automation for Integrated Circuits)

by

ISBN 13: 9780849379246

Format: Hardcover (608 pages)
Publisher: CRC Press
Published: 23 Mar 2006

Save for later

Distributed .NET Programming in VB.NET (.Net Developer)

by Tom Barnaby

ISBN 13: 9781590590683

Format: Paperback (552 pages)
Publisher: APress
Published: 01 Oct 2002

Save for later

Technologies for E-Learning and Digital Entertainment: Third International Conference, Edutainment 2008, Nanjing, China, June 25-27, 2008, Proceedings ... Applications, incl. Internet/Web, and HCI)

by Zhigeng Pan, Xiaopeng Zhang, Abdennour El Rhalibi, Woontack Woo, Yi Li

ISBN 13: 9783540697343

Format: Paperback (791 pages)
Publisher: Springer
Published: 07 Jul 2008

Save for later

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science)

by Dexter Kozen, Carron Shankland

ISBN 13: 9783540223801

Format: Paperback (401 pages)
Publisher: Springer
Published: 24 Jun 2004

Save for later

The Theory and Design of Digital Computer Systems

by D. Lewin, D. Noakes

ISBN 13: 9780412428807

Format: Paperback (512 pages)
Publisher: Kluwer Academic Publishers
Published: Nov 1992

Save for later

Digital Logic Design

by BRIAN HOLDSWORTH

ISBN 13: 9780750645829

Format: Paperback (519 pages)
Publisher: Newnes
Published: 17 Apr 2000
Other Format: Paperback

Save for later

Distributed Applications Engineering: Building New Applications and Managing Legacy Applications with Distributed Technologies (Practitioner Series)

by Inji Wijegunaratne, George Fernandez

ISBN 13: 9783540762102

Format: Paperback (270 pages)
Publisher: Springer
Published: 16 Oct 1998

Save for later

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

Save for later