FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)
by Ana Cavalcanti,Dennis Dams
ISBN 13: 9783642050886
Format: Paperback (840 pages) Publisher: Springer Published: 26 Oct 2009
Save for later
Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings: 5900 (Lecture Notes in Computer Science)
by Luciano Baresi
ISBN 13: 9783642103827
Format: Illustrated (676 pages) Publisher: Springer Published: 17 Nov 2009
Disappearing Cryptography: Information Hiding: Steganography & Watermarking: Information Hiding: Steganography and Watermarking (The Morgan Kaufmann Series in Software Engineering and Programming)
by Peter Wayner
ISBN 13: 9780123744791
Format: Illustrated (456 pages) Publisher: Morgan Kaufmann Published: 18 Dec 2008
Middleware 2008: Acm/Ifip/Usenix 9Th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings: 5346 (Lecture Notes in Computer Science)
by Valerie Issarny
ISBN 13: 9783540898559
Format: Paperback (448 pages) Publisher: Springer Published: 12 Dec 2008
Component-Based Software Engineering: 10 (SIGS: Managing Object Technology, Series Number 10)
by Thomas Jell
ISBN 13: 9780521648219
Format: Illustrated (172 pages) Publisher: Cambridge University Press Published: 28 May 1998
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
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
Software Composition: 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings: 5634 (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642026546
Format: Paperback (177 pages) Publisher: Springer Published: 22 Jun 2009
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642032363
Format: Paperback (361 pages) Publisher: Springer Published: 20 Jul 2009
Learning in the Synergy of Multiple Disciplines: 4th European Conference on Technology Enhanced Learning, EC-TEL 2009 Nice, France, September ... / Programming and Software Engineering)
ISBN 13: 9783642046353
Format: Paperback (813 pages) Publisher: Springer Published: 15 Sep 2009