Buy Used and New Software Design, Testing & Engineering Books

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783540489283

Format: Paperback (203 pages)
Publisher: Springer
Published: 03 Nov 2006

Save for later

Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540789284

Format: Paperback (680 pages)
Publisher: Springer
Published: 03 Apr 2008

Save for later

Rightshore!: Successfully Industrialize SAP® Projects Offshore

by

ISBN 13: 9783540772873

Format: Hardcover (292 pages)
Publisher: Springer
Published: 11 Feb 2008

Save for later

Inhabited Information Spaces: Living with your Data (Computer Supported Cooperative Work)

by David N. Snowdon,Elizabeth F. Churchill,Emmanuel Frecon

ISBN 13: 9781852337285

Format: Paperback (329 pages)
Publisher: Springer
Published: 15 Jan 2004

Save for later

Eye Tracking Methodology: Theory and Practice

by Andrew Duchowski

ISBN 13: 9781846286087

Format: Paperback (334 pages)
Publisher: Springer
Published: 14 Aug 2007

Save for later

Enterprise Service Oriented Architectures: Concepts, Challenges, Recommendations (The Enterprise Series)

by James McGovern,Oliver Sims,Ashish Jain,Mark Little

ISBN 13: 9781402037047

Format: Hardcover (408 pages)
Publisher: Springer
Published: 20 Mar 2006

Save for later

HPC@Green IT: Green High Performance Computing Methods

by Ralf Gruber,Vincent Keller

ISBN 13: 9783642017889

Format: Hardcover (215 pages)
Publisher: Springer
Published: 24 Mar 2010

Save for later

The Turn: Integration of Information Seeking and Retrieval in Context (The Information Retrieval Series)

by Peter Ingwersen,Kalervo Järvelin

ISBN 13: 9781402038501

Format: Hardcover (448 pages)
Publisher: Springer
Published: 24 Aug 2005

Save for later

Systems and Software Verification: Model-Checking Techniques and Tools

by B. Berard,M. Bidoit,A. Finkel,F. Laroussinie,A. Petit,L. Petrucci,P. Schnoebelen

ISBN 13: 9783540415237

Format: Hardcover (196 pages)
Publisher: Springer
Published: 20 Jun 2001

Save for later

Practical Model-Based Testing: A Tools Approach

by Mark Utting,Bruno Legeard

ISBN 13: 9780123725011

Format: Hardcover (456 pages)
Publisher: Morgan Kaufmann
Published: 14 Mar 2007

Save for later

Location-Based Services (The Morgan Kaufmann Series in Data Management Systems)

by

ISBN 13: 9781558609297

Format: Hardcover (255 pages)
Publisher: Morgan Kaufmann
Published: 21 May 2004

Save for later

UML 2 Certification Guide: Fundamental & Intermediate Exams: Fundamental and Intermediate Exams (The MK/OMG Press)

by Tim Weilkiens,Bernd Oestereich

ISBN 13: 9780123735850

Format: Paperback (320 pages)
Publisher: Morgan Kaufmann
Published: 18 Dec 2006

Save for later