Buy Used and New Software Design, Testing & Engineering Books

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

Computer-Aided Design of User Interfaces V: Proceedings of the Sixth International Conference on Computer-Aided Design of User Interfaces CADUI '06 (6-8 June 2006, Bucharest, Romania): v. 5

by

ISBN 13: 9781402058196

Format: Hardcover (298 pages)
Publisher: Springer
Published: 22 Oct 2007

Save for later

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings (Lecture Notes in Computer Science / ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540896166

Format: Paperback (361 pages)
Publisher: Springer
Published: 13 Nov 2008

Save for later

On the Move to Meaningful Internet Systems: OTM 2008: OTM Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540888727

Format: Paperback (645 pages)
Publisher: Springer
Published: 23 Oct 2008

Save for later

High Assurance Services Computing

by

ISBN 13: 9780387876573

Format: Hardcover (326 pages)
Publisher: Springer
Published: 12 Jun 2009

Save for later

End User Development (Human-Computer Interaction Series)

by

ISBN 13: 9781402042201

Format: Hardcover (492 pages)
Publisher: Springer
Published: 18 May 2006
Other Format: Paperback

Save for later

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540733676

Format: Paperback (562 pages)
Publisher: Springer
Published: 02 Jul 2007

Save for later