Martin Wirsing

No bio available. Add one in Open Library.

Books by Martin Wirsing (50 max)

+ shelf+ list

Knowledge Science, Engineering and Management Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings

2007

Songmao Zhang, Martin Wirsing, Zili Zhang

+ shelf+ list

Adapting Proofs-As-Programs The Curry--Howard Protocol

2005

Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing

+ shelf+ list

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers (Lecture Notes in Computer Science)

2003

Martin Wirsing, Dirk Pattinson, Rolf Hennicker

+ shelf+ list

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 2009, York, UK, March 22-29, 2009, Proceedings

2009

Marsha Chechik, Martin Wirsing

+ shelf+ list

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

2015

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer

+ shelf+ list

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987 (Lecture Notes in Computer Science)

1987

Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing

+ shelf+ list

Formal Description of Programming Concepts III

1988

Martin Wirsing

+ shelf+ list

Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science)

1989

Martin Wirsing, Jan A. Bergstra

+ shelf+ list

Elementare Aussagenlogik

1991

Friedrich L. Bauer, Martin Wirsing

+ shelf+ list

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings (Lecture Notes in Computer Science)

2005

Dang Van Hung, Martin Wirsing

+ shelf+ list

Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)

2005

Iman Hafiz Poernomo, Martin Wirsing

+ shelf+ list

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

2005

Dang Van Hung, Martin Wirsing

+ shelf+ list

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

2008

Martin Wirsing, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer

+ shelf+ list

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

2010

Martin Wirsing

+ shelf+ list

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

2011

Martin Wirsing

+ shelf+ list

Java Kompakt: Eine Einführung in Die Software-Entwicklung Mit Java

2013

Matthias Hölzl, Allaithy Raed, Martin Wirsing

+ shelf+ list

Java Kompakt eXamenPress

2013

Martin Wirsing

+ shelf+ list

Programming Language Implementation and Logic Programming 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings

2014

Jan Maluszynski, Martin Wirsing

+ shelf+ list

Digital Education : At the MOOC Crossroads Where the Interests of Academia and Business Converge : 6th European MOOCs Stakeholders Summit, EMOOCs 2019, ...

2019

Mauro Calise, Carlos Delgado Kloos, Justin Reich, Jose A. Ruiperez-Valiente, Martin Wirsing