Buy Used and New Software Engineering Books

Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783540774419

Format: Paperback (333 pages)
Publisher: Springer
Published: 18 Dec 2007

Save for later

Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition (Lecture Notes in Computer Science / Programming and Software Engineering)

by Ben Liblit

ISBN 13: 9783540718772

Format: Paperback (101 pages)
Publisher: Springer
Published: 25 Apr 2007

Save for later

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments: 12th International Conference, HCI International 2007, Beijing, ... / Programming and Software Engineering)

by

ISBN 13: 9783540731085

Format: Paperback (1038 pages)
Publisher: Springer
Published: 29 Jun 2007

Save for later

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642162640

Format: Paperback (347 pages)
Publisher: Springer
Published: 06 Oct 2010

Save for later

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering)

by

ISBN 13: 9783540343042

Format: Paperback (250 pages)
Publisher: Springer
Published: 15 May 2006

Save for later

Embedded Software and Systems: Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540726845

Format: Paperback (829 pages)
Publisher: Springer
Published: 08 May 2007

Save for later

Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, ... / Programming and Software Engineering)

by

ISBN 13: 9783540690603

Format: Paperback (205 pages)
Publisher: Springer
Published: 30 May 2008
Other Format: Paperback

Save for later

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence)

by

ISBN 13: 9783540705598

Format: Hardcover (260 pages)
Publisher: Springer
Published: 18 Aug 2008
Other Format: Hardcover

Save for later

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783540687603

Format: Paperback (306 pages)
Publisher: Springer
Published: 14 Dec 2006

Save for later

Coordination Models and Languages: 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in ... / Programming and Software Engineering)

by

ISBN 13: 9783540727934

Format: Paperback (325 pages)
Publisher: Springer
Published: 31 May 2007

Save for later

Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, ... / Programming and Software Engineering)

by

ISBN 13: 9783540752103

Format: Paperback (301 pages)
Publisher: Springer
Published: 17 Sep 2007

Save for later

Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540773948

Format: Paperback (215 pages)
Publisher: Springer
Published: 12 Dec 2007

Save for later