Buy Used and New Architecture & Microprocessors Books

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

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, ... 2941 (Lecture Notes in Computer Science)

by Martin Wirsing, Alexander Knapp, Simonetta Balsamo

ISBN 13: 9783540211792

Format: Paperback (359 pages)
Publisher: Springer
Published: 18 Mar 2004

Save for later

Design for Debugging and Validation of Embedded Systems (Morgan Kaufmann Series in Systems on Silicon (Hardcover))

by Roychoudhury

ISBN 13: 9780123742308

Format: Illustrated (400 pages)
Publisher: Morgan Kaufmann
Published: 08 Jul 2009

Save for later

FPGAs 101,: Everything you need to know to get started

by Gina Smith

ISBN 13: 9781856177061

Format: Illustrated (250 pages)
Publisher: Newnes
Published: 25 Mar 2010

Save for later

Introduction to the Formal Design of Real-Time Systems (Applied Computing)

by David Gray

ISBN 13: 9783540761402

Format: Paperback (476 pages)
Publisher: Springer-Verlag
Published: 01 Nov 1998

Save for later

Logic in Computer Science: Modelling and Reasoning about Systems

by Huth, Michael Michael Huth,

ISBN 13: 9780521543101

Format: paperback
Publisher: Cambridge University Press

Save for later

Understanding and Applying Cryptography and Data Security

by Adam J. Elbirt

ISBN 13: 9781420061604

Format: Hardcover (416 pages)
Publisher: Auerbach Publications
Published: 09 Apr 2009

Save for later

The Digital Signal Processing Handbook (Electrical Engineering Handbook)

by VIJAY MADISETTI

ISBN 13: 9781420045635

Format: Hardcover (2394 pages)
Publisher: CRC Press
Published: 22 Dec 2009

Save for later

Handbook of Natural Language Processing (Chapman & Hall/CRC Machine Learning & Pattern Recognition)

by Nitin Indurkhya,Fred J. Damerau

ISBN 13: 9781420085921

Format: Illustrated (702 pages)
Publisher: Chapman and Hall/CRC
Published: 22 Feb 2010

Save for later

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