MPG.eBooks - Search Results - "Software Engineering."

Cover Image

1

Methods of Programming : Selected Papers on the CIP-Project

Published 1991

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

2

Rigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Published 2011

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

3

Java kompakt : Eine Einführung in die Software-Entwicklung mit Java

by Hölzl, Matthias, Raed, Allaithy, Wirsing, Martin
Published 2013

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

4

Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

Published 2004

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

5

Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

by Wirsing, Martin
Published 2004

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

6

Fundamental Approaches to Software Engineering : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS...

Published 2009

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

7

Software-Intensive Systems and New Computing Paradigms : Challenges and Visions

Published 2008

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

8

Algebraic Methods: Theory, Tools and Applications

Published 1989

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

9

Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Published 2003

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

10

Adapting Proofs-as-Programs : The Curry--Howard Protocol

by Poernomo, Iman, Crossley, John N., Wirsing, Martin
Published 2005

Springer New York

Subjects: “...Software engineering...”

Cover Image

11

Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

by Wirsing, Martin
Published 2003

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

12

Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings

Published 1996

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

13

Trustworthy Global Computing : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Published 2010

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

14

Software Engineering for Collective Autonomic Systems : The ASCENS Approach

Published 2015

Springer International Publishing

Subjects: “...Software engineering...”

Cover Image

15

Web Engineering : 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

16

Web Engineering : 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings

by Koch, Nora
Published 2004

Springer Berlin Heidelberg

Subjects: “...Software engineering...”