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

Countering Design Exclusion: An introduction to inclusive design

by Simeon Keates,P. John Clarkson

ISBN 13: 9781852337698

Format: Paperback (227 pages)
Publisher: Springer
Published: 01 Sep 2003

Save for later

Visual Information Communication

by

ISBN 13: 9781441903112

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

Save for later

Writing Add-ins for Visual Studio .NET (Expert's Voice)

by Les Smith

ISBN 13: 9781590590263

Format: Illustrated (550 pages)
Publisher: Apress
Published: 01 Aug 2002

Save for later

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

by Erich Grädel,Phokion G. Kolaitis,Leonid Libkin,Maarten Marx,Joel Spencer,Moshe Y. Vardi,Yde Venema,Scott Weinstein

ISBN 13: 9783540004288

Format: Hardcover (437 pages)
Publisher: Springer
Published: 24 Apr 2007

Save for later

Visualizing the Structure of Science

by Benjamín Vargas-Quesada,Félix de Moya-Anegón

ISBN 13: 9783540697275

Format: Hardcover (320 pages)
Publisher: Springer
Published: 14 May 2007

Save for later

Ruby on Rails for PHP and Java Developers

by Deepak Vohra

ISBN 13: 9783540731443

Format: Paperback (394 pages)
Publisher: Springer
Published: 01 Aug 2007

Save for later

Fundamentals of OOP and Data Structures in Java

by Richard Wiener,Lewis J. Pinson

ISBN 13: 9780521662208

Format: Hardcover (482 pages)
Publisher: Cambridge University Press
Published: 05 Jun 2000

Save for later

Chips Challenging Champions: Games, Computers and Artificial Intelligence

by Jonathan Schaeffer

ISBN 13: 9780444509499

Format: Illustrated (370 pages)
Publisher: North Holland
Published: 17 Apr 2002

Save for later

Doing Web Development: Client-side Techniques (Expert's Voice)

by Deborah Kurata

ISBN 13: 9781893115873

Format: Illustrated (508 pages)
Publisher: Apress
Published: 01 Dec 2001

Save for later

Peer-to-Peer Systems III: Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers: v. 3 (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540242529

Format: Paperback (311 pages)
Publisher: Springer
Published: 21 Jan 2005

Save for later