Buy Used and New Software Engineering Books

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

Save for later

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

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

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

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

Save for later

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

Save for later