Buy Used and New Architecture & Microprocessors Books

FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)

by Ana Cavalcanti,Dennis Dams

ISBN 13: 9783642050886

Format: Paperback (840 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Modern Logic: A Text in Elementary Symbolic Logic

by Graeme Forbes

ISBN 13: 9780195080292

Format: Paperback (416 pages)
Publisher: OUP USA
Published: 07 Apr 1994

Save for later

A Modular Calculus for the Average Cost of Data Structuring: Efficiency-oriented Programming in Moqa

by Michel Schellekens

ISBN 13: 9780387733838

Format: Hardcover (272 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later

Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)

by Andrew M. Pitts Edited by Andrew D. Gordon

ISBN 13: 9780521631686

Format: Hardcover (400 pages)
Publisher: Cambridge University Press
Published: 22 Jan 1998

Save for later

Network Processors: Architecture, Programming, and Implementation (Systems on Silicon)

by Ran Giladi

ISBN 13: 9780123708915

Format: Illustrated (688 pages)
Publisher: Morgan Kaufmann
Published: 29 Aug 2008

Save for later

Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, ... Computer Science and General Issues)

by Anupam Datta

ISBN 13: 9783642106217

Format: Paperback (159 pages)
Publisher: Springer
Published: 24 Nov 2009

Save for later

CAD and GIS Integration

by Hassan A. Karimi, Burcu Akinci

ISBN 13: 9781420068054

Format: Hardcover (247 pages)
Publisher: Auerbach Publications
Published: 17 Dec 2009

Save for later

Petascale Computing: Algorithms and Applications (Computational Science)

by David A. Bader

ISBN 13: 9781584889090

Format: Illustrated (620 pages)
Publisher: Chapman and Hall/CRC
Published: 22 Dec 2007

Save for later

Introduction to Embedded System Design Using Field Programmable Gate Arrays

by Rahul Dubey

ISBN 13: 9781848820159

Format: Hardcover (176 pages)
Publisher: Springer
Published: 04 Dec 2008

Save for later

Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings: 5937 (Lecture Notes in Computer Science)

by Manuel Carro,Ricardo Peña

ISBN 13: 9783642115028

Format: Illustrated (297 pages)
Publisher: Springer
Published: 12 Jan 2010

Save for later

Quantum Computing Devices: Principles, Designs, and Analysis (Chapman & Hall/CRC Applied Mathematics and Nonlinear Science)

by Goong Chen, David A. Church, Berthold-Georg Englert, Carsten Henkel, Bernd Rohwedder, Marlan O. Scully, M. Suhail Zubairy

ISBN 13: 9781584886815

Format: Hardcover (560 pages)
Publisher: Chapman and Hall/CRC
Published: 18 Sep 2006

Save for later

Analog Circuit Design: High-speed Clock and Data Recovery, High-performance Amplifiers, Power Management

by Michiel Steyaert,Arthur H. M. Van Roermund,Herman Casier

ISBN 13: 9781402089435

Format: Hardcover (372 pages)
Publisher: Springer
Published: 14 Oct 2008

Save for later