Buy Used and New Architecture & Microprocessors Books

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

by Michael G. Hinchey

ISBN 13: 9781852336400

Format: Illustrated (420 pages)
Publisher: Springer
Published: 17 Sep 1999

Save for later

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Lecture Notes in Computer Science)

by Marcel Vinícius Medeiros Oliveira, Jim Woodcock

ISBN 13: 9783642104510

Format: Paperback (351 pages)
Publisher: Springer
Published: 09 Nov 2009

Save for later

The PIC Microcontroller: Your Personal Introductory Course: Your Personal Introductory Course

by John Morton

ISBN 13: 9780750666640

Format: Illustrated (240 pages)
Publisher: Newnes
Published: 07 Oct 2005

Save for later

The Pillars of Computation Theory: State, Encoding, Nondeterminism: 0 (Universitext)

by Arnold L. L. Rosenberg

ISBN 13: 9780387096384

Format: Paperback (344 pages)
Publisher: Springer
Published: 12 Nov 2009

Save for later

Adaptive and Natural Computing Algorithms: 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers: 5495 (Lecture Notes in Computer Science)

by Mikko Kolehmainen,Pekka Toivanen,Bartlomiej Beliczynski

ISBN 13: 9783642049200

Format: Illustrated (648 pages)
Publisher: Springer Berlin Heidelberg
Published: 15 Oct 2009

Save for later

System-on-Chip Test Architectures: Nanometer Design for Testability: Volume . (Systems on Silicon)

by Laung-Terng Wang

ISBN 13: 9780123739735

Format: Illustrated (896 pages)
Publisher: Morgan Kaufmann
Published: 08 Jan 2008

Save for later

Distributed .NET Programming in VB .NET (.Net Developer)

by Tom Barnaby

ISBN 13: 9781590590683

Format: Illustrated (532 pages)
Publisher: Apress
Published: 01 Oct 2002

Save for later

Model-based Design for Embedded Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)

by Gabriela Nicolescu, Pieter J. Mosterman

ISBN 13: 9781420067842

Format: Hardcover (766 pages)
Publisher: CRC Press
Published: 24 Nov 2009

Save for later

INTRODUCTION TO QUANTUM STATISTICAL MECHANICS (2ND EDITION)

by N N Bogolubov,N N Bogolubov Jr

ISBN 13: 9789814295826

Format: Paperback (440 pages)
Publisher: World Scientific Publishing Company
Published: 11 Feb 2010

Save for later

High Performance Embedded Architectures and Compilers: Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 2009, Procceding: 5409 (Lecture Notes in Computer Science)

by Andre Seznec

ISBN 13: 9783540929895

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

Save for later

Theory and Design of Digital Computer Systems

by Douglas Lewin

ISBN 13: 9780412428807

Format: Paperback (512 pages)
Publisher: Springer
Published: Nov 1992

Save for later

Digital Logic Design

by BRIAN HOLDSWORTH

ISBN 13: 9780750645829

Format: Paperback (534 pages)
Publisher: Newnes
Published: 17 Apr 2000
Other Format: Paperback

Save for later