Buy Used and New Software Design, Testing & Engineering Books

High Assurance Services Computing

by

ISBN 13: 9780387876573

Format: Hardcover (326 pages)
Publisher: Springer
Published: 12 Jun 2009

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

Rescue Robotics: DDT Project on Robots and Systems for Urban Search and Rescue

by

ISBN 13: 9781848824737

Format: Hardcover (192 pages)
Publisher: Springer
Published: 05 Mar 2010

Save for later

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540733690

Format: Paperback (285 pages)
Publisher: Springer
Published: 21 Jun 2007

Save for later

Software Engineering: International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540958871

Format: Paperback (257 pages)
Publisher: Springer
Published: 02 Feb 2009

Save for later

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642009440

Format: Paperback (217 pages)
Publisher: Springer
Published: 26 Mar 2009

Save for later

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642013638

Format: Paperback (241 pages)
Publisher: Springer
Published: 19 May 2009

Save for later

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, ... / Programming and Software Engineering)

by

ISBN 13: 9783642017018

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

Save for later