Martin Wirsing

19 works Add another?

Sort by:

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

— Show only ebooks?

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

by Songmao Zhang, Martin Wirsing, and Zili Zhang First published in 2007 — 4 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

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

by Iman Hafiz Poernomo, John N. Crossley, and Martin Wirsing First published in 2005 — 3 editions

Locate

My Reading Lists:

Create a new list
Software Engineering for Collective Autonomic Systems: The ASCENS Approach

by Martin Wirsing, Matthias Hölzl, Nora Koch, and Philip Mayer First published in 2015 — 2 editions

Locate

My Reading Lists:

Create a new 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

by Marsha Chechik and Martin Wirsing First published in 2009 — 2 editions

Locate

My Reading Lists:

Create a new list
Preview

Preview Book
×Close

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)

by Martin Wirsing, Dirk Pattinson, and Rolf Hennicker First published in 2003 — 2 editions

Preview Only

My Reading Lists:

Create a new list
Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

by Martin Wirsing, Jean-Pierre Banatre, Matthias Hölzl, and Axel Rauschmayer First published in 2008 — 1 edition

Locate

My Reading Lists:

Create a new list
Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

by Dang Van Hung and Martin Wirsing First published in 2005 — 1 edition

Locate

My Reading Lists:

Create a new list
Java Kompakt: Eine Einführung in Die Software-Entwicklung Mit Java

by Matthias Hölzl, Allaithy Raed, and Martin Wirsing First published in 2013 — 1 edition

Locate

My Reading Lists:

Create a new list
Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science)

by Martin Wirsing and Jan A. Bergstra First published in 1989 — 1 edition

Locate

My Reading Lists:

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

by Jan Maluszynski and Martin Wirsing First published in 2014 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

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

by Franz J. Brandenburg, Guy Vidal-Naquet, and Martin Wirsing First published in 1987 — 1 edition

Locate

My Reading Lists:

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

by Mauro Calise, Carlos Delgado Kloos, Justin Reich, Jose A. Ruiperez-Valiente, and Martin Wirsing First published in 2019 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Formal Description of Programming Concepts III

by Martin Wirsing First published in 1988 — 1 edition
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Preview

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

by Martin Wirsing First published in 2010 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

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

by Iman Hafiz Poernomo and Martin Wirsing First published in 2005 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

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

by Martin Wirsing First published in 2011 — 1 edition

Locate

My Reading Lists:

Create a new list
Elementare Aussagenlogik

by Friedrich L. Bauer and Martin Wirsing First published in 1991 — 1 edition

Locate

My Reading Lists:

Create a new list
Java Kompakt eXamenPress

by Martin Wirsing First published in 2013 — 1 edition

Locate

My Reading Lists:

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

by Dang Van Hung and Martin Wirsing First published in 2005 — 1 edition

Locate

My Reading Lists:

Create a new list

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL2680105A

Links outside Open Library

No links yet. Add one?

History

Created April 29, 2008
1 revision

Download catalog record: RDF / JSON

April 29, 2008

Created by an anonymous user

initial import

Martin Wirsing

19 works Add another?

Create a new list

Preview Book

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History