Buy Used and New Architecture & Microprocessors Books

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783540489283

Format: Paperback (203 pages)
Publisher: Springer
Published: 03 Nov 2006

Save for later

Cryptographic Hardware and Embedded Systems - CHES 2006: 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings (Lecture Notes in Computer Science / Security and Cryptology)

by

ISBN 13: 9783540465591

Format: Paperback (462 pages)
Publisher: Springer
Published: 27 Sep 2006

Save for later

FPGAs: World Class Designs

by Clive Maxfield

ISBN 13: 9781856176217

Format: Illustrated (526 pages)
Publisher: Newnes
Published: 18 Feb 2009

Save for later

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540697350

Format: Paperback (395 pages)
Publisher: Springer
Published: 03 Jan 2007

Save for later

Embedded Computer Systems: Architectures, Modeling, and Simulation: 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, ... Computer Science and General Issues)

by

ISBN 13: 9783642031373

Format: Paperback (342 pages)
Publisher: Springer
Published: 13 Jul 2009
Other Format: Paperback

Save for later

Dependency Structures and Lexicalized Grammars: An Algebraic Approach (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642145674

Format: Paperback (137 pages)
Publisher: Springer
Published: 30 Jul 2010

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

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

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