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

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540899815

Format: Paperback (844 pages)
Publisher: Springer
Published: 02 Dec 2008

Save for later

Fundamental Concepts in Electrical and Computer Engineering with Practical Design Problems (Second Edition)

by Reza Adhami,III Peter M. Meenen,Denis Hite

ISBN 13: 9781581129717

Format: Paperback (736 pages)
Publisher: Dissertation.com
Published: 20 Aug 2007

Save for later

Applications of Geometric Algebra in Computer Science and Engineering

by

ISBN 13: 9780817642679

Format: Hardcover (478 pages)
Publisher: Birkhauser
Published: 01 Mar 2002

Save for later

Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540251088

Format: Paperback (684 pages)
Publisher: Springer
Published: 04 Mar 2005

Save for later

IUTAM Symposium on Fluid-Structure Interaction in Ocean Engineering: Proceedings of the IUTAM Symposium held in Hamburg, Germany, July 23-26, 2007 (IUTAM Bookseries)

by

ISBN 13: 9781402086298

Format: Hardcover (326 pages)
Publisher: Springer
Published: 23 Jun 2008

Save for later

Building Web Applications with C# and .NET: A Complete Reference

by Dudley W. Gill

ISBN 13: 9780849312502

Format: Illustrated (760 pages)
Publisher: CRC Press
Published: 02 Dec 2002

Save for later