NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783642203978
Format: Paperback (536 pages) Publisher: Springer Published: 06 Apr 2011
Save for later
Software Engineering and Computer Systems, Part III: Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, ... in Computer and Information Science)
ISBN 13: 9783642222023
Format: Paperback (846 pages) Publisher: Springer Published: 22 Jun 2011
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540899815
Format: Paperback (844 pages) Publisher: Springer Published: 02 Dec 2008
Engineering of Software: The Continuing Contributions of Leon J. Osterweil
ISBN 13: 9783642198229
Format: Hardcover (408 pages) Publisher: Springer Published: 09 Apr 2011
New Software Engineering Paradigm Based on Complexity Science: An Introduction to NSE
by Jay Xiong
ISBN 13: 9781441973252
Format: Hardcover (781 pages) Publisher: Springer Published: 25 Feb 2011
New Generation of Portal Software and Engineering: Emerging Technologies
ISBN 13: 9781609605711
Format: Hardcover (276 pages) Publisher: Information Science Reference Published: 28 Feb 2011