MPG.eBooks - Search Results - "Berlin"

Cover Image

1

Software Engineering Techniques : Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers

Published 2011

Springer Berlin Heidelberg

Cover Image

2

Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Published 2012

Springer Berlin Heidelberg

Cover Image

3

Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Published 2012

Springer Berlin Heidelberg

Cover Image

4

Dependable Systems: Software, Computing, Networks : Research Results of the DICS Program

Published 2006

Springer Berlin Heidelberg

Cover Image

5

Objects, Components, Models and Patterns : 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Cover Image

6

Touch of Class : Learning to Program Well with Objects and Contracts

by Meyer, Bertrand
Published 2009

Springer Berlin Heidelberg

Cover Image

7

Software Engineering Approaches for Offshore and Outsourced Development : First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers

Published 2007

Springer Berlin Heidelberg

Cover Image

8

Balancing Agility and Formalism in Software Engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, Oc...

Published 2008

Springer Berlin Heidelberg

Cover Image

9

Software Engineering Approaches for Offshore and Outsourced Development : Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008, Revised Papers

Published 2009

Springer Berlin Heidelberg

Cover Image

10

Objects, Components, Models and Patterns : 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Cover Image

11

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Published 2008

Springer Berlin Heidelberg