Buy Used and New Software Design, Testing & Engineering Books

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

Voice: User Interface Design

by Michael H. Cohen,James P. Giangola,Jennifer Balogh

ISBN 13: 9780321185761

Format: Paperback (368 pages)
Publisher: Addison Wesley
Published: 02 Feb 2004

Save for later

How to Do Everything with Microsoft Office 2003

by Laurie Fuller

ISBN 13: 9780072229370

Format: Illustrated (480 pages)
Publisher: McGraw-Hill Education
Published: 01 Sep 2003

Save for later

Software Verification and Validation: An Engineering and Scientific Approach

by Marcus S. Fisher

ISBN 13: 9780387327259

Format: Hardcover (172 pages)
Publisher: Springer
Published: 20 Dec 2006

Save for later

Mobile Response: First International Workshop on Mobile Information Technology, for Emergency Response, Mobile Response 2007, Sankt Augustin, Germany, ... Networks and Telecommunications)

by

ISBN 13: 9783540756675

Format: Paperback (163 pages)
Publisher: Springer
Published: 22 Nov 2007

Save for later

Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering

by Frank J. van der Linden,Klaus Schmid,Eelco Rommes

ISBN 13: 9783540714361

Format: Hardcover (333 pages)
Publisher: Springer
Published: 08 Jun 2007

Save for later

Location and Context Awareness: 4th International Symposium, LoCA 2009 Tokyo, Japan, May 7-8, 2009 Proceedings (Lecture Notes in Computer Science / ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642017209

Format: Paperback (283 pages)
Publisher: Springer
Published: 22 Apr 2009

Save for later

Advances in Enterprise Engineering III: 5th International Workshop, CIAO! 2009, and 5th International Workshop, EOMAS 2009, held at CAiSE 2009, ... Notes in Business Information Processing)

by

ISBN 13: 9783642019142

Format: Paperback (201 pages)
Publisher: Springer
Published: 25 May 2009

Save for later

Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings (Lecture Notes ... / Programming and Software Engineering)

by

ISBN 13: 9783642019234

Format: Paperback (283 pages)
Publisher: Springer
Published: 25 May 2009

Save for later

Smart Graphics: 10th International Symposium, SG 2009, Salamanca, Spain, Mai 28-30, 2009, Proceedings (Lecture Notes in Computer Science / Image ... Vision, Pattern Recognition, and Graphics)

by

ISBN 13: 9783642021145

Format: Paperback (300 pages)
Publisher: Springer
Published: 13 May 2009

Save for later

Advanced Information Systems Engineering: 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009, Proceedings (Lecture ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642021435

Format: Paperback (562 pages)
Publisher: Springer
Published: 25 May 2009

Save for later