Buy Used and New Software Design, Testing & Engineering Books

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

Estimation of Distribution Algorithms: A New Tool for Evolutionary Computation: 2 (Genetic Algorithms and Evolutionary Computation)

by

ISBN 13: 9780792374664

Format: Illustrated (420 pages)
Publisher: Springer
Published: 31 Oct 2001

Save for later

Event-Based Programming: Taking Events to the Limit

by Ted Faison

ISBN 13: 9781590596432

Format: Illustrated (696 pages)
Publisher: Springer
Published: 01 May 2006

Save for later

Advances in Computer and Information Sciences and Engineering

by

ISBN 13: 9781402087400

Format: Hardcover (608 pages)
Publisher: Springer
Published: 27 Aug 2008

Save for later

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540262787

Format: Paperback (667 pages)
Publisher: Springer
Published: 27 Jun 2005

Save for later

Intelligent Virtual Agents: 7th International Working Conference, IVA 2007, Paris, France, September 17-19, 2007, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540749967

Format: Paperback (425 pages)
Publisher: Springer
Published: 06 Sep 2007

Save for later

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities

by Axel Simon

ISBN 13: 9781848000162

Format: Hardcover (322 pages)
Publisher: Springer
Published: 18 Jul 2008

Save for later

Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

by Javier Esparza,Keijo Heljanko

ISBN 13: 9783540774259

Format: Hardcover (184 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

by Fred Kröger,Stephan Merz

ISBN 13: 9783540674016

Format: Hardcover (448 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later