Buy Used and New Software Engineering Books

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

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

Save for later

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

Save for later

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

Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings (Lecture Notes in Computer Science)

by David Kaeli

ISBN 13: 9783540937982

Format: Paperback (156 pages)
Publisher: Springer
Published: 13 Feb 2009

Save for later

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

Save for later

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

Save for later

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

Save for later

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

Save for later

Engineering Interactive Systems: EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers: 4940 (Lecture Notes in Computer Science)

by Jan Gulliksen

ISBN 13: 9783540926979

Format: Illustrated (656 pages)
Publisher: Springer
Published: 18 Dec 2008

Save for later

Artificial Intelligence Applications for Improved Software Engineering Development: New Prospects (Advances in Intelligent Information Technologies ... in Computational Intelligence and Robotics)

by Farid Meziane,Sunil Vadera

ISBN 13: 9781605667584

Format: Illustrated (341 pages)
Publisher: IGI Global
Published: 15 Sep 2009

Save for later

Theory and Practice of Model Transformations: First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008, Proceedings: First ... 5063 (Lecture Notes in Computer Science)

by Antonio Vallecillo

ISBN 13: 9783540699262

Format: Paperback (280 pages)
Publisher: Springer
Published: 24 Jul 2008

Save for later