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

Software Product Management and Pricing: Key Success Factors for Software Organizations

by Hans-Bernd Kittlaus,Peter N. Clough

ISBN 13: 9783540769866

Format: Hardcover (231 pages)
Publisher: Springer
Published: 15 Jan 2009

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

Advances in Conceptual Modeling - Challenging Perspectives: ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642049460

Format: Paperback (358 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Advances in Ubiquitous User Modelling: Revised Selected Papers (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642050381

Format: Paperback (159 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Speech Processing in Modern Communication: Challenges and Perspectives (Springer Topics in Signal Processing)

by

ISBN 13: 9783642111297

Format: Hardcover (342 pages)
Publisher: Springer
Published: 04 Feb 2010

Save for later

SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, pindleruv Mlýn, ... Computer Science and General Issues)

by

ISBN 13: 9783642112652

Format: Paperback (780 pages)
Publisher: Springer
Published: 20 Jan 2010

Save for later

Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by Gabriele Puppis

ISBN 13: 9783642118807

Format: Paperback (206 pages)
Publisher: Springer
Published: 18 Feb 2010

Save for later

Advanced Information Systems Engineering: 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010, Proceedings (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642130939

Format: Paperback (548 pages)
Publisher: Springer
Published: 20 May 2010

Save for later

Recent Trends in Networks and Communications: International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010,Chennai, India, July 23-25, 2010. ... in Computer and Information Science)

by

ISBN 13: 9783642144929

Format: Paperback (725 pages)
Publisher: Springer
Published: 07 Jul 2010

Save for later