Buy Used and New Architecture & Microprocessors Books

Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540646082

Format: Paperback (552 pages)
Publisher: Springer
Published: 03 Jun 1998

Save for later

Java Cryptography Extensions: Practical Guide for Programmers (The Practical Guides)

by Jason Weiss

ISBN 13: 9780127427515

Format: Paperback (176 pages)
Publisher: Morgan Kaufmann
Published: 18 May 2004

Save for later

Temporal Logic: Volume 2: Mathematical Foundations and Computational Aspects: Vol 2 (Oxford Logic Guides)

by Dov M Gabbay,M. Finger,M. Reynolds

ISBN 13: 9780198537687

Format: Hardcover (597 pages)
Publisher: OUP Oxford
Published: 30 Mar 2000

Save for later

Distributed Computing and Internet Technology: 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010, Proceedings ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642116582

Format: Paperback (283 pages)
Publisher: Springer
Published: 08 Feb 2010

Save for later

High Performance Computing and Applications: Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers ... Computer Science and General Issues)

by

ISBN 13: 9783642118418

Format: Paperback (589 pages)
Publisher: Springer
Published: 19 Feb 2010

Save for later

Autonomic Computing: Concepts, Infrastructure, and Applications

by

ISBN 13: 9780849393679

Format: Hardcover (568 pages)
Publisher: CRC Press
Published: 15 Dec 2006

Save for later

System Modeling and Control with Resource-oriented Petri Nets (Automation and Control Engineering)

by MengChu Zhou,Naiqi Wu

ISBN 13: 9781439808849

Format: Hardcover (312 pages)
Publisher: CRC Press
Published: 02 Nov 2009

Save for later

The Compiler Design Handbook: Optimizations and Machine Code Generation

by

ISBN 13: 9781420043822

Format: Hardcover (784 pages)
Publisher: CRC Press
Published: 07 Dec 2007

Save for later

Prac GT Data Stru & Alg Usi (Chapman & Hall/CRC Applied Algorithms and Data Structures Series)

by Sally A. Goldman,Kenneth J. Goldman

ISBN 13: 9781584884552

Format: Hardcover (1056 pages)
Publisher: Chapman and Hall/CRC
Published: 23 Aug 2007

Save for later

Elementary Logic: For Software Development

by Robert Lover

ISBN 13: 9781848000810

Format: Paperback (314 pages)
Publisher: Springer
Published: 01 Sep 2008

Save for later

Generic Programming: Advanced Lectures (Lecture Notes in Computer Science)

by

ISBN 13: 9783540201946

Format: Paperback (223 pages)
Publisher: Springer
Published: 29 Sep 2003

Save for later

Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540738572

Format: Paperback (463 pages)
Publisher: Springer
Published: 09 Aug 2007

Save for later