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

PHYSARUM MACHINES: COMPUTERS FROM SLIME MOULD (World Scientific Series on Nonlinear Science: Series A)

by ADAMATZKY ANDREW

ISBN 13: 9789814327589

Format: Hardcover (280 pages)
Publisher: World Scientific Publishing
Published: 26 Oct 2010

Save for later

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in Computer Science)

by Alexander Kurz,Marina Lenisa

ISBN 13: 9783642037405

Format: Paperback (472 pages)
Publisher: Springer
Published: 28 Aug 2009

Save for later

Linux System Administration: Solve Real-Life Linux Problems Quickly

by Tom Adelstein,Bill Lubanovic

ISBN 13: 9780596009526

Format: Illustrated (300 pages)
Publisher: O'Reilly Media
Published: 06 Apr 2007

Save for later

Usability Engineering: Scenario-Based Development of Human-Computer Interaction (Interactive Technologies)

by Mary Beth Rosson,John M. Carroll

ISBN 13: 9781558607125

Format: Hardcover (448 pages)
Publisher: Morgan Kaufmann
Published: 20 Oct 2001

Save for later

Methods in Algorithmic Analysis (Chapman & Hall/CRC Computer & Information Science Series) (CRC Computer and Information Science Series)

by Sartaj Sahni, Vladimir A. Dobrushkin

ISBN 13: 9781420068290

Format: Hardcover (824 pages)
Publisher: Chapman & Hall
Published: 03 Nov 2009

Save for later

Java SOA Cookbook: Soa Implementation Recipes, Tips, and Techniques

by Eben Hewitt

ISBN 13: 9780596520724

Format: Illustrated (740 pages)
Publisher: O'Reilly Media
Published: 26 Mar 2009

Save for later

A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems

by David Powell

ISBN 13: 9780792372950

Format: Hardcover (260 pages)
Publisher: Springer
Published: 31 Jan 2001

Save for later

Data Flow Analysis: Theory and Practice

by Uday Khedker,Amitabha Sanyal,Bageshri Sathe

ISBN 13: 9780849328800

Format: Illustrated (395 pages)
Publisher: CRC Press
Published: 31 Mar 2009

Save for later