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

Published 2004

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

by Maluszyński, Jan
Published 1991

STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

by Brandenburg, Franz
Published 1987

Methods of Programming : Selected Papers on the CIP-Project

by Broy, Manfred
Published 1991

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

by Nivat, Maurice
Published 1996

STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

by Cori, Robert
Published 1988

Algebraic Methods: Theory, Tools and Applications

by Bergstra, Jan
Published 1989

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

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

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

Elementare Aussagenlogik

by Bauer, Friedrich L., Wirsing, Martin
Published 1991

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

Published 1987

STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings

Published 1988

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

Published 1996

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

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

by Koch, Nora
Published 2004

Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

by Bruynooghe, Maurice
Published 1992

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

Published 2005