Buy Used and New Architecture & Microprocessors Books

Concurrency in Dependable Computing

by

ISBN 13: 9781441952783

Format: Paperback (328 pages)
Publisher: Springer
Published: 12 Oct 2010

Save for later

Requirements Engineering: Foundation for Software Quality: 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. ... / Programming and Software Engineering)

by

ISBN 13: 9783642198571

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

Save for later

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

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