Buy Used and New Architecture & Microprocessors Books

Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

by Javier Esparza,Keijo Heljanko

ISBN 13: 9783540774259

Format: Hardcover (184 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later

Neural-Symbolic Cognitive Reasoning (Cognitive Technologies)

by Artur S. D'Avila Garcez,Luís C. Lamb,Dov M. Gabbay

ISBN 13: 9783540732457

Format: Hardcover (212 pages)
Publisher: Springer
Published: 22 Oct 2008

Save for later

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

by Fred Kröger,Stephan Merz

ISBN 13: 9783540674016

Format: Hardcover (448 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later

Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540852377

Format: Paperback (626 pages)
Publisher: Springer
Published: 12 Aug 2008

Save for later

High Assurance Services Computing

by

ISBN 13: 9780387876573

Format: Hardcover (326 pages)
Publisher: Springer
Published: 12 Jun 2009

Save for later

Architectural Optimizations in Multi-Core Processors: Improving Thread-Based Synchronization and Communications

by Sevin Fide

ISBN 13: 9783639101577

Format: Paperback (144 pages)
Publisher: VDM Verlag Dr. Muller Aktiengesellschaft & Co. KG
Published: 18 Nov 2008

Save for later

Doing Web Development: Client-side Techniques (Expert's Voice)

by Deborah Kurata

ISBN 13: 9781893115873

Format: Illustrated (508 pages)
Publisher: Apress
Published: 01 Dec 2001

Save for later

Selected Papers on Analysis of Algorithms (Center for the Study of Language and Information Publication Lecture Notes)

by Donald E. Knuth

ISBN 13: 9781575862125

Format: Paperback (540 pages)
Publisher: Cambridge University Press
Published: 29 May 2000

Save for later

Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence

by Pamela McCorduck

ISBN 13: 9781568812052

Format: Paperback (600 pages)
Publisher: A K Peters/CRC Press
Published: 17 Mar 2004

Save for later

Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties

by Giorgio Ausiello,Pierluigi Crescenzi,Giorgio Gambosi,Viggo Kann,Alberto Marchetti-Spaccamela,Marco Protasi

ISBN 13: 9783540654315

Format: Hardcover (543 pages)
Publisher: Springer
Published: 09 Nov 1999

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540894384

Format: Paperback (728 pages)
Publisher: Springer
Published: 13 Nov 2008

Save for later

Scientific Computer Performance (Chapman & Hall/CRC Computational Science)

by

ISBN 13: 9781439815694

Format: Hardcover (399 pages)
Publisher: CRC Press
Published: 01 Feb 2011

Save for later