Buy Used and New Software Design, Testing & Engineering Books

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

Spoken Dialogue Systems Technology and Design

by

ISBN 13: 9781441979339

Format: Hardcover (277 pages)
Publisher: Springer
Published: 25 Nov 2010

Save for later

The Semantic Web - ISWC 2010: 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642177484

Format: Paperback (373 pages)
Publisher: Springer
Published: 04 Jan 2011

Save for later

Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

by

ISBN 13: 9780857291325

Format: Paperback (315 pages)
Publisher: Springer
Published: 15 Dec 2010

Save for later

Service Research Challenges and Solutions for the Future Internet: S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems (Lecture ... Networks and Telecommunications)

by

ISBN 13: 9783642175985

Format: Paperback (374 pages)
Publisher: Springer
Published: 09 Dec 2010

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

Sketch-based Interfaces and Modeling

by

ISBN 13: 9781848828117

Format: Hardcover (386 pages)
Publisher: Springer
Published: 16 Dec 2010

Save for later

Culture and Computing: Computing and Communication for Crosscultural Interaction (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642171833

Format: Paperback (229 pages)
Publisher: Springer
Published: 16 Nov 2010

Save for later