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

Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007, ... 5129 (Lecture Notes in Computer Science)

by Francesca Rossi, François Fages, Sylvain Soliman

ISBN 13: 9783540898115

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

Save for later

Analog and VLSI Circuits (Circuits and Filters Handbook, 3rd Edition)

by Wai-Kai Chen

ISBN 13: 9781420058918

Format: Hardcover (702 pages)
Publisher: CRC Press
Published: 23 Jun 2009

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

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

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