Buy Used and New Architecture & Logic Books

Discourses on Social Software (Texts in Logic and Games)

by

ISBN 13: 9789089641236

Format: Paperback (248 pages)
Publisher: Amsterdam University Press
Published: 17 Mar 2009

Save for later

Designing Network On-Chip Architectures in the Nanoscale Era (Chapman & Hall/CRC Computational Science)

by

ISBN 13: 9781439837108

Format: Hardcover (528 pages)
Publisher: Chapman and Hall/CRC
Published: 25 Jan 2011

Save for later

Design and Safety Assessment of Critical Systems

by Marco Bozzano, Adolfo Villafiorita

ISBN 13: 9781439803318

Format: Hardcover (297 pages)
Publisher: Auerbach Publications
Published: 14 Dec 2010

Save for later

Principles of Modern Digital Design

by Parag K. Lala

ISBN 13: 9780470072967

Format: Hardcover (436 pages)
Publisher: Wiley-Interscience
Published: 27 Jul 2007

Save for later

Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering)

by Kai-hui Chang,Igor L. Markov,Valeria Bertacco

ISBN 13: 9781402093647

Format: Hardcover (228 pages)
Publisher: Springer
Published: 10 Dec 2008

Save for later

Electronics System Design Techniques for Safety Critical Applications: 26 (Lecture Notes in Electrical Engineering)

by Luca Sterpone

ISBN 13: 9781402089787

Format: Hardcover (164 pages)
Publisher: Springer
Published: 14 Oct 2008

Save for later

Logic for Applications (Texts in Computer Science)

by Anil Nerode,Richard A. Shore

ISBN 13: 9780387948935

Format: Illustrated (469 pages)
Publisher: Springer
Published: 01 Feb 1997

Save for later

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. ... Computer Science and General Issues)

by

ISBN 13: 9783540938996

Format: Paperback (381 pages)
Publisher: Springer
Published: 18 Dec 2008

Save for later

Grid Computing: Achievements and Prospects

by

ISBN 13: 9780387094564

Format: Hardcover (308 pages)
Publisher: Springer
Published: 21 Jul 2008

Save for later

Quality of Software Architectures Models and Architectures: 4th International Conference on the Quality of Software Architectures, QoSA 2008, ... / Programming and Software Engineering)

by

ISBN 13: 9783540878780

Format: Paperback (235 pages)
Publisher: Springer
Published: 07 Oct 2008

Save for later

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures ... / Programming and Software Engineering)

by

ISBN 13: 9783540921875

Format: Paperback (313 pages)
Publisher: Springer
Published: 01 Dec 2008

Save for later

Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

by Javier Esparza,Keijo Heljanko

ISBN 13: 9783540774259

Format: Hardcover (184 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later