Software Verification and Analysis: An Integrated, Hands-On Approach
by Janusz Laski,William Stanley
ISBN 13: 9781848822399
Format: Illustrated (252 pages) Publisher: Springer Published: 03 Apr 2009
Save for later
Understanding and Applying Cryptography and Data Security
by Adam J. Elbirt
ISBN 13: 9781420061604
Format: Hardcover (416 pages) Publisher: Auerbach Publications Published: 09 Apr 2009
Rails Pocket Reference: A Quick Guide to Rails (Pocket Reference (O'Reilly))
by Eric Berry
ISBN 13: 9780596520700
Format: Paperback (200 pages) Publisher: O'Reilly Media Published: 29 Sep 2008
RESTful .NET: Build and Consume RESTful Web Services with .NET 3.5
by Jon Flanders
ISBN 13: 9780596519209
Format: Illustrated (310 pages) Publisher: O'Reilly Media Published: 21 Nov 2008
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
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)
ISBN 13: 9783540733690
Format: Paperback (285 pages) Publisher: Springer Published: 21 Jun 2007
Software Engineering: International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540958871
Format: Paperback (257 pages) Publisher: Springer Published: 02 Feb 2009
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)
ISBN 13: 9783642009440
Format: Paperback (217 pages) Publisher: Springer Published: 26 Mar 2009
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)
ISBN 13: 9783642013638
Format: Paperback (241 pages) Publisher: Springer Published: 19 May 2009
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, ... / Programming and Software Engineering)
ISBN 13: 9783642017018
Format: Paperback (215 pages) Publisher: Springer Published: 22 Apr 2009
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)
ISBN 13: 9783642019173
Format: Paperback (341 pages) Publisher: Springer Published: 12 May 2009
User Modeling, Adaptation, and Personalization: 17th International Conference, UMAP 2009, formerly UM and AH, Trento, Italy, June 22-26, 2009, ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642022463
Format: Paperback (488 pages) Publisher: Springer Published: 08 Jun 2009