Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "software engineers"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
author_facet:"Wirsing, Martin"
Search alternatives
:
"software engineers" »
"software engineering"
Showing
1
-
18
of
18
Search:
'"software engineers"'
,
query time: 0.31s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Fundamental Approaches to
Software
Engineering
...
Published 2009
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering
...
”
Read Now
2
Software
Engineering
for Collective Autonomic Systems : The ASCENS Approach
Published 2015
Springer International Publishing
Subjects:
“
...
Software
engineering
...
”
Read Now
3
Rigorous
Software
Engineering
for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Published 2011
Springer Berlin Heidelberg
Table of Contents:
“
...SENSORIA –
Software
Engineering
for Service-Oriented Overlay Computers -- A Unifying Formal Basis...
”
Read Now
4
Methods of Programming : Selected Papers on the CIP-Project
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering
...
”
Read Now
5
Java kompakt : Eine Einführung in die Software-Entwicklung mit Java
by
Hölzl, Matthias
,
Raed, Allaithy
,
Wirsing, Martin
Published 2013
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering
...
”
Read Now
6
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
...
”
Read Now
7
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
...
”
Read Now
8
Software-Intensive Systems and New Computing Paradigms : Challenges and Visions
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... of Software-Intensive Systems: State of the Art and Research Challenges -- I Ensemble Engineering --
Software
...
”
Read Now
9
Algebraic Methods: Theory, Tools and Applications
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
...Algebraic specification a step towards future
software
engineering
-- How to make algebraic...
”
Read Now
10
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
...
”
Read Now
11
Adapting Proofs-as-Programs : The Curry--Howard Protocol
by
Poernomo, Iman
,
Crossley, John N.
,
Wirsing, Martin
Published 2005
Springer New York
Subjects:
“
...
Software
engineering
...
”
Read Now
12
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
...
”
Read Now
13
Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... -- Using heterogeneous formal methods in distributed
software
engineering
education -- Introducing formal...
”
Read Now
14
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
...
”
Read Now
15
Web Engineering : 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering
...
”
Read Now
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
...
”
Read Now
17
Theoretical Aspects of Computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... Analysis of Graph Transformation Systems: A Case Study in P2P Networks -- Component-Based
Software
...
”
Read Now
18
STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987
Published 1987
Springer Berlin Heidelberg
Table of Contents:
“
...SPRAC: A
software
engineering
environment -- SLOG: A logic interpreter for equational clauses...
”
Back
Narrow Search
Remove Filters
Clear Filter
Author: Wirsing, Martin
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
10
004 - Data processing & computer science
5
040 - [Unassigned]
3
Language
English
14
German
1
Collection
Springer eBooks 2005-
8
Springer Book Archives -2004
7
Lecture Notes in Computer Science
3
Author
Wirsing, Martin
Hölzl, Matthias
4
Koch, Nora
3
Balsamo, Simonetta
2
Fraternali, Piero
2
Hennicker, Rolf
2
more ...
Knapp, Alexander
2
Pattinson, Dirk
2
Rauschmayer, Axel
2
Banatre, Jean-Pierre
1
Bergstra, Jan A.
1
Brandenburg, Franz J.
1
Broy, Manfred
1
Chechik, Marsha
1
Crossley, John N.
1
Hofmann, Martin
1
Hung, Dang Van
1
Mayer, Philip
1
Nivat, Maurice
1
Poernomo, Iman
1
Raed, Allaithy
1
Vidal-Naquet, Guy
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=author_facet%3A%22Wirsing%2C+Martin%22&lookfor=%22software+engineers%22&type=AllFields
Send by Email
×
Loading...