Buy Used and New Software Design, Testing & Engineering Books

Semantic Methods for Execution-level Business Process Modeling: Modeling Support Through Process Verification and Service Composition (Lecture Notes in Business Information Processing)

by Ingo M. Weber

ISBN 13: 9783642050848

Format: Paperback (292 pages)
Publisher: Springer
Published: 06 Nov 2009

Save for later

Ad Hoc Networks: First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers ... and Telecommunications Engineering)

by

ISBN 13: 9783642117220

Format: Paperback (915 pages)
Publisher: Springer
Published: 17 Feb 2010

Save for later

Architecture of Computing Systems - ARCS 2010: 23rd International Conference, Hannover, Germany, February 22-25, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642119491

Format: Paperback (247 pages)
Publisher: Springer
Published: 17 Feb 2010

Save for later

Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and ... Computer Science and General Issues)

by

ISBN 13: 9783642119569

Format: Paperback (632 pages)
Publisher: Springer
Published: 17 Mar 2010

Save for later

Reconfigurable Computing: Architectures, Tools and Applications: 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, ... Computer Science and General Issues)

by

ISBN 13: 9783642121326

Format: Paperback (446 pages)
Publisher: Springer
Published: 17 Mar 2010
Other Format: Paperback

Save for later

Business Process Management Workshops: BPM 2009 International Workshops, Ulm, Germany, September 7, 2009, Revised Papers (Lecture Notes in Business Information Processing)

by

ISBN 13: 9783642121852

Format: Paperback (708 pages)
Publisher: Springer
Published: 01 Apr 2010

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