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

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

Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers (Lecture ... 5957 (Lecture Notes in Computer Science)

by Gheorghe Paun

ISBN 13: 9783642114663

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

Save for later

Domain Decomposition Methods: Algorithms and Theory: v. 34 (Springer Series in Computational Mathematics)

by Andrea Toselli, Olof Widlund

ISBN 13: 9783540206965

Format: Hardcover (350 pages)
Publisher: Springer
Published: 18 Oct 2004

Save for later

The SIM Guide to Enterprise Architecture

by Leon Kappelman

ISBN 13: 9781439811139

Format: Illustrated (330 pages)
Publisher: CRC Press
Published: 27 Oct 2009

Save for later

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 4486 (Lecture Notes in Computer Science)

by Marco Bernardo

ISBN 13: 9783540724827

Format: Illustrated (484 pages)
Publisher: Springer
Published: 28 Jun 2007

Save for later

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

by Martin Hofmann

ISBN 13: 9783540403326

Format: Illustrated (332 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

FPGA Prototyping by VHDL Examples: Xilinx Spartan-3 Version

by Pong P. Chu

ISBN 13: 9780470185315

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

Save for later

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

by Christopher John Hogger,D. M. Gabbay,C. Hogger

ISBN 13: 9780198537922

Format: Illustrated (816 pages)
Publisher: OUP Oxford
Published: 08 Jan 1998

Save for later

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

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

Com and CORBA Side by Side: Architectures, Strategies, and Implementations

by Jason Pritchard

ISBN 13: 9780201379457

Format: CD (464 pages)
Publisher: Pearson Technology Group
Published: 02 Feb 2008

Save for later