Buy Used and New Software Design, Testing & Engineering Books

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

Visual Information Communication

by

ISBN 13: 9781441903112

Format: Hardcover (376 pages)
Publisher: Springer
Published: 06 Nov 2009

Save for later

Design Process Improvement: A review of current practice

by

ISBN 13: 9781852337018

Format: Paperback (560 pages)
Publisher: Springer
Published: 03 Feb 2005

Save for later

Computer Vision Systems: 7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009, Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642046667

Format: Paperback (456 pages)
Publisher: Springer
Published: 29 Sep 2009

Save for later