Buy Used and New Software Design, Testing & Engineering Books

Intelligent Systems and Soft Computing: Prospects, Tools and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540678373

Format: Paperback (357 pages)
Publisher: Springer
Published: 26 Jul 2000

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783642007675

Format: Paperback (456 pages)
Publisher: Springer
Published: 09 Mar 2009

Save for later

Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings: v. 2589 (Lecture Notes in Computer Science)

by

ISBN 13: 9783540006244

Format: Paperback (427 pages)
Publisher: Springer
Published: 21 Feb 2003

Save for later

Synchronous Equivalence: Formal Methods for Embedded Systems

by Harry Hsieh,Felice Balarin,Alberto L. Sangiovanni-Vincentelli

ISBN 13: 9780792372622

Format: Hardcover (136 pages)
Publisher: Springer
Published: 31 Dec 2000

Save for later

Categories for Software Engineering

by Jose Luiz Fiadeiro

ISBN 13: 9783540209096

Format: Hardcover (250 pages)
Publisher: Springer
Published: 18 Oct 2004

Save for later

Frontiers of Human-Centred Computing, Online Communities and Virtual Environments

by

ISBN 13: 9781852332389

Format: Hardcover (482 pages)
Publisher: Springer
Published: 26 Feb 2001

Save for later

Managing the Change: Software Configuration and Change Management: Software Best Practice 2: v. 2

by

ISBN 13: 9783540417859

Format: Paperback (280 pages)
Publisher: Springer
Published: 23 Oct 2001

Save for later

Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings: 8th ... / Programming and Software Engineering)

by

ISBN 13: 9783540290100

Format: Paperback (722 pages)
Publisher: Springer
Published: 19 Sep 2005

Save for later

New Frontiers in Artificial Intelligence: JSAI 2006 Conference andWorkshops: 4384 (Lecture Notes in Computer Science)

by Takashi Washio,Hideaki Takeda,Ken Satoh,Akihiro Inokuchi

ISBN 13: 9783540699019

Format: Paperback (416 pages)
Publisher: Springer Berlin Heidelberg
Published: 02 Jun 2010

Save for later

Ajax in Oracle JDeveloper

by Deepak Vohra

ISBN 13: 9783540775959

Format: Paperback (224 pages)
Publisher: Springer
Published: 11 Mar 2008

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