Buy Used and New Software Design, Testing & Engineering Books

HPC@Green IT: Green High Performance Computing Methods

by Ralf Gruber,Vincent Keller

ISBN 13: 9783642017889

Format: Hardcover (215 pages)
Publisher: Springer
Published: 24 Mar 2010

Save for later

The Turn: Integration of Information Seeking and Retrieval in Context (The Information Retrieval Series)

by Peter Ingwersen,Kalervo Järvelin

ISBN 13: 9781402038501

Format: Hardcover (448 pages)
Publisher: Springer
Published: 24 Aug 2005

Save for later

Systems and Software Verification: Model-Checking Techniques and Tools

by B. Berard,M. Bidoit,A. Finkel,F. Laroussinie,A. Petit,L. Petrucci,P. Schnoebelen

ISBN 13: 9783540415237

Format: Hardcover (196 pages)
Publisher: Springer
Published: 20 Jun 2001

Save for later

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

by Yves Bertot,Pierre Castéran

ISBN 13: 9783540208549

Format: Hardcover (500 pages)
Publisher: Springer
Published: 14 May 2004

Save for later

Guide to Advanced Empirical Software Engineering

by

ISBN 13: 9781848000438

Format: Hardcover (388 pages)
Publisher: Springer
Published: 25 Oct 2007

Save for later

Software Product Management and Pricing: Key Success Factors for Software Organizations

by Hans-Bernd Kittlaus,Peter N. Clough

ISBN 13: 9783540769866

Format: Hardcover (231 pages)
Publisher: Springer
Published: 15 Jan 2009

Save for later

Writing Add-ins for Visual Studio .NET (Expert's Voice)

by Les Smith

ISBN 13: 9781590590263

Format: Illustrated (550 pages)
Publisher: Apress
Published: 01 Aug 2002

Save for later

Data Structures and Algorithms with Object–Oriented Design Patterns in C++ (Worldwide Series in Computer Science)

by Bruno R. Preiss

ISBN 13: 9780471241348

Format: Hardcover (678 pages)
Publisher: Wiley
Published: 29 Sep 1998

Save for later

The Social Life of Avatars: Presence and Interaction in Shared Virtual Environments (Computer Supported Cooperative Work)

by Ralph Schroeder

ISBN 13: 9781852334611

Format: Illustrated (240 pages)
Publisher: Springer
Published: 10 Jan 2002

Save for later

Introduction to Software Process Improvement (Undergraduate Topics in Computer Science)

by Gerard O'Regan

ISBN 13: 9780857291714

Format: Paperback (254 pages)
Publisher: Springer
Published: 23 Dec 2010

Save for later

Generative and Transformational Techniques in Software Engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, ... / Programming and Software Engineering)

by

ISBN 13: 9783642180224

Format: Paperback (499 pages)
Publisher: Springer
Published: 03 Jan 2011

Save for later

3D Integration for NoC-based SoC Architectures (Integrated Circuits and Systems)

by

ISBN 13: 9781441976178

Format: Hardcover (278 pages)
Publisher: Springer
Published: 17 Nov 2010

Save for later