Buy Used and New Architecture & Microprocessors Books

Design of Multithreaded Software: The Entity-Life Modeling Approach

by Bo I. Sandén

ISBN 13: 9780470876596

Format: Hardcover (320 pages)
Publisher: Wiley-Blackwell
Published: 15 Feb 2011

Save for later

Foundations of MEMS

by Chang Liu

ISBN 13: 9780132497367

Format: Hardcover (560 pages)
Publisher: Prentice Hall
Published: 04 Mar 2011

Save for later

High Performance Computing on Vector Systems 2008

by

ISBN 13: 9783540858683

Format: Hardcover (256 pages)
Publisher: Springer
Published: 04 Nov 2008

Save for later

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

by Erich Grädel,Phokion G. Kolaitis,Leonid Libkin,Maarten Marx,Joel Spencer,Moshe Y. Vardi,Yde Venema,Scott Weinstein

ISBN 13: 9783540004288

Format: Hardcover (437 pages)
Publisher: Springer
Published: 24 Apr 2007

Save for later

Logical and Relational Learning: From ILP to MRDM (Cognitive Technologies)

by Luc De Raedt

ISBN 13: 9783540200406

Format: Hardcover (404 pages)
Publisher: Springer
Published: 12 Sep 2008

Save for later

ICT Innovations 2010: Second International Conference, ICT Innovations 2010, Ohrid Macedonia, September 12-15, 2010. Revised Selected Papers (Communications in Computer and Information Science)

by

ISBN 13: 9783642193248

Format: Paperback (378 pages)
Publisher: Springer
Published: 01 Mar 2011

Save for later

Engineering Methods in the Service-Oriented Context: 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, ... in Information and Communication Technology)

by

ISBN 13: 9783642199967

Format: Hardcover (242 pages)
Publisher: Springer
Published: 23 Mar 2011

Save for later

Software Engineering 2: Specification of Systems and Languages: v. 2 (Texts in Theoretical Computer Science. An EATCS Series)

by Dines Bjørner

ISBN 13: 9783540211501

Format: Hardcover (804 pages)
Publisher: Springer
Published: 22 Feb 2006
Other Format: Hardcover

Save for later

Cryptographic Hardware and Embedded Systems - CHES 2007: 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings (Lecture Notes in Computer Science / Security and Cryptology)

by

ISBN 13: 9783540747345

Format: Paperback (482 pages)
Publisher: Springer
Published: 28 Aug 2007

Save for later

Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers ... / Programming and Software Engineering)

by

ISBN 13: 9783642194399

Format: Paperback (428 pages)
Publisher: Springer
Published: 23 Feb 2011

Save for later

Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642194856

Format: Paperback (164 pages)
Publisher: Springer
Published: 16 Mar 2011

Save for later

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

by José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto,Simão Melo de Sousa

ISBN 13: 9780857290175

Format: Paperback (320 pages)
Publisher: Springer
Published: 07 Jan 2011

Save for later