Buy Used and New Architecture & Microprocessors Books

Taxonomies for the Development and Verification of Digital Systems

by

ISBN 13: 9780387240190

Format: Hardcover (180 pages)
Publisher: Springer
Published: 10 May 2005

Save for later

Handbook of Applied Algorithms: Solving Scientific, Engineering and Practical Problems

by

ISBN 13: 9780470044926

Format: Hardcover (560 pages)
Publisher: Wiley-Blackwell
Published: 28 Mar 2008

Save for later

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

Software Measurement and Estimation: A Practical Approach (Quantitative Software Engineering Series)

by Linda M. Laird,M. Carol Brennan

ISBN 13: 9780471676225

Format: Hardcover (280 pages)
Publisher: Wiley-Blackwell
Published: 07 Jul 2006

Save for later

Communicating Embedded Systems for Computer Science

by Claude Jard,Olivier Roux

ISBN 13: 9781848211438

Format: Hardcover (288 pages)
Publisher: Wiley-Blackwell
Published: 06 Nov 2009

Save for later

Introduction to Instrumentation, Sensors, and Process Control (Artech House Sensors Library)

by William C. Dunn

ISBN 13: 9781580530118

Format: Hardcover (354 pages)
Publisher: Artech House
Published: Nov 2005

Save for later

Quantum Computing for Communications: An Engineering Approach

by Sandor Imre,Ferenc Balazs

ISBN 13: 9780470869024

Format: Hardcover (314 pages)
Publisher: Wiley-Blackwell
Published: 19 Nov 2004

Save for later

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)

by Michael Yoeli,Rakefet Kol

ISBN 13: 9780471704492

Format: Hardcover (231 pages)
Publisher: Wiley-Blackwell
Published: 15 Apr 2008

Save for later

Human Machine Interaction: Research Results of the MMI Program: Research Results of the MMJ Program (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642004360

Format: Paperback (311 pages)
Publisher: Springer
Published: 26 Mar 2009

Save for later

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642017476

Format: Paperback (245 pages)
Publisher: Springer
Published: 12 May 2009

Save for later

Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642020162

Format: Paperback (482 pages)
Publisher: Springer
Published: 28 Apr 2009

Save for later

Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems

by Jean-Pierre Deschamps,Gery J.A. Bioul,Gustavo D. Sutter

ISBN 13: 9780471687832

Format: Hardcover (576 pages)
Publisher: Wiley-Blackwell
Published: 31 Mar 2006

Save for later