Buy Used and New Software Design, Testing & Engineering Books

High Availability and Disaster Recovery: Concepts, Design, Implementation

by Klaus Schmidt

ISBN 13: 9783540244608

Format: Hardcover (410 pages)
Publisher: Springer
Published: 24 May 2006

Save for later

Enterprise Service Oriented Architectures: Concepts, Challenges, Recommendations (The Enterprise Series)

by James McGovern,Oliver Sims,Ashish Jain,Mark Little

ISBN 13: 9781402037047

Format: Hardcover (408 pages)
Publisher: Springer
Published: 20 Mar 2006

Save for later

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

C A Software Engineering Approach

by Peter A. Darnell,Philip E. Margolis

ISBN 13: 9780387946757

Format: Illustrated (526 pages)
Publisher: Springer
Published: 04 Oct 2013

Save for later

Understanding Agent Systems (Springer Series on Agent Technology)

by Mark d'Inverno,Michael Luck

ISBN 13: 9783540407003

Format: Hardcover (240 pages)
Publisher: Springer
Published: 09 Oct 2003

Save for later

Scalable Information Systems: 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers (Lecture Notes ... and Telecommunications Engineering)

by

ISBN 13: 9783642104848

Format: Paperback (323 pages)
Publisher: Springer
Published: 25 Nov 2009

Save for later

Intelligent Agents: ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8 - 9, 1994. Proceedings: 890 (Lecture Notes in Computer Science)

by Michael J. Wooldridge,Nicholas R. Jennings

ISBN 13: 9783540588559

Format: Paperback (424 pages)
Publisher: Springer
Published: 26 Jan 1995

Save for later

Perception and Interactive Technologies: International Tutorial and Research Workshop, Kloster Irsee, PIT 2006, Germany, June 19-21, 2006 (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540347439

Format: Paperback (217 pages)
Publisher: Springer
Published: 12 Jun 2006

Save for later