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
Save for later
Modeling Business Objects with XML Schema (The Morgan Kaufmann Series in Software Engineering and Programming)
by Berthold Daum
ISBN 13: 9781558608160
Format: Illustrated (568 pages) Publisher: Morgan Kaufmann Published: 07 Apr 2003
Managing the Software Enterprise: Software Engineering and Information Systems in Context
by Pat Hall,Juan Fernandez-Ramil
ISBN 13: 9781844803545
Format: Paperback (456 pages) Publisher: Cengage Learning EMEA Published: 30 Jan 2007
Architecting Dependable Systems VI (Lecture Notes in Computer Science / Programming and Software Engineering)
by Rogerio de Lemos,Jean-Charles Fabre,Cristina Gacek,Fabio Gadducci,Maurice H. ter Beek
ISBN 13: 9783642102479
Format: Paperback (348 pages) Publisher: Springer Published: 02 Nov 2009
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
Security Patterns: Integrating Security and Systems Engineering: 7 (Wiley Software Patterns Series)
by Frank Buschmann,Eduardo Fernandez-Buglioni,Duane Hybertson,Peter Sommerlad,Markus Schumacher
ISBN 13: 9780470858844
Format: Illustrated (600 pages) Publisher: Wiley Published: 21 Dec 2005
Advances in Software Engineering: International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future ... in Computer and Information Science)
by Dominik Slezak, Tai-Hoon Kim, Akingbehin Kiumi, Tao Jiang, June Verner, Silvia Abrahao
ISBN 13: 9783642106187
Format: Paperback (348 pages) Publisher: Springer Published: 24 Nov 2009
Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer ... Germany, February 16-19, 2009, Proceedings
by Michael Leuschel, Heike Wehrheim
ISBN 13: 9783642002540
Format: Paperback (367 pages) Publisher: Springer Published: 02 Feb 2009
Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised ... 5963 (Lecture Notes in Computer Science)
by Peter Wild, Jean Vanderdonckt, David England, Philippe Palanque
ISBN 13: 9783642117961
Format: Paperback (163 pages) Publisher: Springer Published: 18 Feb 2010
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)
by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
ISBN 13: 9783540883869
Format: Paperback (430 pages) Publisher: Springer Published: 06 Oct 2008
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
Software Engineering Project Management: 40 (Practitioners)
by Edward Yourdon,Richard H. Thayer
ISBN 13: 9780818680007
Format: Illustrated (552 pages) Publisher: Wiley-IEEE Computer Society Pr Published: 27 Oct 1997