Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 2009, Proceedings: 11th International ... (Lecture Notes in Computer Science)
by Terrance Swift, Andy Gill
ISBN 13: 9783540929949
Format: Paperback (285 pages) Publisher: Springer Published: 18 Dec 2008
Save for later
Trustworthy Systems Through Quantitative Software Engineering: Theory and Practice for Trustworthy Systems (Quantitative Software Engineering Series)
by Lawrence Bernstein, C. M. Yuhas
ISBN 13: 9780471696919
Format: Hardcover (464 pages) Publisher: Wiley-Blackwell Published: 11 Nov 2005
Engineering Secure Software and Systems: First International Symposium, ESSoS 2009 Leuven, Belgium, February 4-6, 2009, Proceedings: 5429 (Lecture Notes in Computer Science)
by Fabio Massacci, Samuel Redwine, Nicola Zannone
ISBN 13: 9783642001987
Format: Paperback (201 pages) Publisher: Springer Published: 21 Jan 2009
Software Requirements Engineering Second Edition: 44 (Practitioners)
by Richard H. Thayer
ISBN 13: 9780818677380
Format: Illustrated (560 pages) Publisher: WC Published: 27 Feb 1997
Practical Risk Assessment for Project Management: 25 (Wiley Series in Software Engineering Practice)
by Stephen Grey,Grey
ISBN 13: 9780471939795
Format: Hardcover (160 pages) Publisher: John Wiley & Sons Published: 27 Jun 1995
Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings (Lecture Notes in Computer Science)
by Bettina Buth,Gerd Rabe,Till Seyfarth
ISBN 13: 9783642044670
Format: Paperback (356 pages) Publisher: Springer Published: 07 Sep 2009
Linkers and Loaders (The Morgan Kaufmann Series in Software Engineering and Programming)
by John R. Levine
ISBN 13: 9781558604964
Format: Paperback (272 pages) Publisher: Morgan Kaufmann Published: 11 Oct 1999
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings: 5295 (Lecture Notes in Computer Science)
by Jim Woodcock, Natarajan Shankar
ISBN 13: 9783540878728
Format: Paperback (263 pages) Publisher: Springer Published: 22 Sep 2008
Autonomic and Trusted Computing: 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008, Proceedings: 5060 (Lecture Notes in Computer Science)
by Chunming Rong
ISBN 13: 9783540692942
Format: Paperback (688 pages) Publisher: Springer Published: 24 Jul 2008
Advances in Software Engineering: International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. ... in Computer and Information Science)
by Tai-Hoon Kim, Wai-chi Fang, Kirk P. Arnett, Changhoon Lee
ISBN 13: 9783642102417
Format: Paperback (241 pages) Publisher: Springer Published: 02 Nov 2009
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
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 4486 (Lecture Notes in Computer Science)
by Marco Bernardo
ISBN 13: 9783540724827
Format: Illustrated (484 pages) Publisher: Springer Published: 28 Jun 2007