Buy Used and New Architecture & Logic 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

Real-Time Embedded Multithreading Using ThreadX and MIPS

by Edward Lamie

ISBN 13: 9781856176316

Format: Paperback (488 pages)
Publisher: CRC Press
Published: 22 Jan 2009

Save for later

Prospects for Functional Programming in Software Engineering: 1 (Research Reports Esprit)

by Jean-Pierre Banatre, Simon B. Jones, Daniel Le Metayer, P. Fradet, A. Sinclair

ISBN 13: 9783540538523

Format: Paperback (210 pages)
Publisher: Springer
Published: 03 Apr 1991

Save for later

Grid Computing: International Symposium on Grid Computing (ISGC 2007)

by Stella Shen,Simon C. Lin,Eric Yen

ISBN 13: 9780387784168

Format: Hardcover (224 pages)
Publisher: Springer
Published: 10 Oct 2008

Save for later

The gm/ID Methodology, a sizing tool for low-voltage analog CMOS Circuits: The semi-empirical and compact model approaches (Analog Circuits and Signal Processing)

by Paul Jespers

ISBN 13: 9780387471006

Format: Audiobook (188 pages)
Publisher: Springer
Published: 07 Dec 2009

Save for later

Creating Cool MINDSTORMS NXT Robots (Technology in Action)

by Daniele Benedettelli

ISBN 13: 9781590599662

Format: Illustrated (608 pages)
Publisher: Apress
Published: 28 Apr 2008

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

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

Architecture Design for Soft Errors

by Shubu Mukherjee

ISBN 13: 9780123695291

Format: Illustrated (425 pages)
Publisher: Morgan Kaufmann
Published: 12 Feb 2008

Save for later

Analog Circuit Design: Smart Data Converters, Filters on Chip, Multimode Transmitters

by Roermund

ISBN 13: 9789048130825

Format: Hardcover (352 pages)
Publisher: Springer
Published: 07 Dec 2009

Save for later