Buy Used and New Architecture & Microprocessors Books

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering)

by Jane Hillston, Marco Bernardo

ISBN 13: 9783540724827

Format: Paperback (469 pages)
Publisher: Springer
Published: 18 May 2007

Save for later

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings (Lecture Notes in Computer Science)

by Martin Hofmann

ISBN 13: 9783540403326

Format: Paperback (317 pages)
Publisher: Springer
Published: 27 May 2003

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

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

by Ran Giladi

ISBN 13: 9780123708915

Format: Hardcover (736 pages)
Publisher: Morgan Kaufmann
Published: 29 Aug 2008

Save for later

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

by Ana Cavalcanti, Dennis Dams

ISBN 13: 9783642050886

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

Save for later

Digital Signal Processing: A Practical Guide for Engineers and Scientists (IDC Technology)

by Steven Smith

ISBN 13: 9780750674447

Format: Paperback (650 pages)
Publisher: Newnes
Published: 07 Nov 2002

Save for later

FPGA Prototyping Using VHDL Examples: Xilinx Spartan-3 Version

by Pong P. Chu

ISBN 13: 9780470185315

Format: Hardcover (468 pages)
Publisher: Wiley-Blackwell
Published: 14 Mar 2008

Save for later

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming: Logic Programming Vol 5

by Dov M. Gabbay, C.J. Hogger, J. A. Robinson

ISBN 13: 9780198537922

Format: Hardcover (816 pages)
Publisher: Clarendon Press
Published: 08 Jan 1998

Save for later

Agents for Games and Simulations: Trends in Techniques, Concepts and Design (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by Frank Dignum, Jeff Bradshaw, Barry G. Silverman, Willem van Doesburg

ISBN 13: 9783642111976

Format: Paperback (273 pages)
Publisher: Springer
Published: 21 Dec 2009

Save for later

High-speed Digital System Design: A Handbook of Interconnect Theory and Design Practices (A Wiley-Interscience publication)

by Stephen H. Hall, Garrett W. Hall, James A. McCall

ISBN 13: 9780471360902

Format: Hardcover (347 pages)
Publisher: Wiley-Blackwell
Published: 09 Oct 2000

Save for later

Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited ... / Lecture Notes in Artificial Intelligence)

by Matteo Baldoni, Tran Cao Son, Birna Riemsdijk, Michael Winikoff

ISBN 13: 9783540939191

Format: Paperback (251 pages)
Publisher: Springer
Published: 12 Jan 2009

Save for later

Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979 (Lecture Notes in Computer Science)

by G. Kahn

ISBN 13: 9783540095118

Format: Paperback (380 pages)
Publisher: Springer
Published: 01 Jun 1979

Save for later