Buy Used and New Architecture & Microprocessors Books

Principles of the Spin Model Checker

by Mordechai Ben-Ari

ISBN 13: 9781846287695

Format: Paperback (216 pages)
Publisher: Springer
Published: 08 Jan 2008

Save for later

Advances in Computation and Intelligence: 4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, . . . ... 5821 (Lecture Notes in Computer Science)

by Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu

ISBN 13: 9783642048425

Format: Paperback (554 pages)
Publisher: Springer
Published: 05 Oct 2009

Save for later

The Cultural Logic of Computation

by D Golumbia

ISBN 13: 9780674032927

Format: Hardcover (272 pages)
Publisher: Harvard University Press
Published: 17 Apr 2009

Save for later

Process Algebra for Parallel and Distributed Processing (Chapman & Hall/CRC Computational Science Series)

by Michael Alexander, William Gardner

ISBN 13: 9781420064865

Format: Hardcover (440 pages)
Publisher: Chapman and Hall/CRC
Published: 22 Dec 2008

Save for later

Fundamentals of Performance Evaluation of Computer and Telecommunication Systems

by Mohammed S. Obaidat,Noureddine A. Boudriga

ISBN 13: 9780471269830

Format: Hardcover (480 pages)
Publisher: Wiley-Interscience
Published: 04 Mar 2010

Save for later

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 4486 (Lecture Notes in Computer Science)

by Marco Bernardo

ISBN 13: 9783540724827

Format: Illustrated (484 pages)
Publisher: Springer
Published: 28 Jun 2007

Save for later

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)

by Martin Hofmann

ISBN 13: 9783540403326

Format: Illustrated (332 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer ... Germany, February 16-19, 2009, Proceedings

by Michael Leuschel, Heike Wehrheim

ISBN 13: 9783642002540

Format: Paperback (367 pages)
Publisher: Springer
Published: 02 Feb 2009

Save for later

Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited: ... 5397 (Lecture Notes in Computer Science)

by Matteo Baldoni

ISBN 13: 9783540939191

Format: Paperback (264 pages)
Publisher: Springer
Published: 13 Feb 2009

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

Design Cost-efficient Interconnect Processing Units (System-on-chip Design and Technologies): The Spidergon STNoC

by Marcello Coppola, Miltos D. Grammatikakis, Riccardo Locatelli, Giuseppe Maruccia, Lorenzo Pieralisi

ISBN 13: 9781420044713

Format: Hardcover (288 pages)
Publisher: CRC Press
Published: 17 Sep 2008

Save for later