Buy Used and New Software Design, Testing & Engineering Books

Constructing Correct Software (Formal Approaches to Computing & Information Technology)

by D. John Cooke

ISBN 13: 9781852338206

Format: Paperback (509 pages)
Publisher: Springer
Published: 08 Nov 2004

Save for later

Current and New Directions in Discourse and Dialogue (Text, Speech and Language Technology)

by

ISBN 13: 9781402016158

Format: Paperback (400 pages)
Publisher: Springer
Published: 30 Nov 2003

Save for later

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops: ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, ... Computer Science and General Issues)

by

ISBN 13: 9783540747666

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

Save for later

Wired/Wireless Internet Communications: 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings (Lecture Notes in ... Networks and Telecommunications)

by

ISBN 13: 9783540726944

Format: Paperback (382 pages)
Publisher: Springer
Published: 10 May 2007

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

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

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... / Programming and Software Engineering)

by

ISBN 13: 9783642019173

Format: Paperback (341 pages)
Publisher: Springer
Published: 12 May 2009

Save for later

Computer-Mediated Social Networking: First International Conference, ICCMSN 2008, Dunedin, New Zealand, June 11-13, 2009, Revised Selected Papers: ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642022753

Format: Paperback (201 pages)
Publisher: Springer
Published: 25 May 2009

Save for later

Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music: 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642025174

Format: Paperback (285 pages)
Publisher: Springer
Published: 01 Jul 2009

Save for later

Software Composition: 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings: 5634 (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642026546

Format: Paperback (177 pages)
Publisher: Springer
Published: 22 Jun 2009

Save for later