Martin Wirsing – författare
Visar alla böcker från författaren Martin Wirsing.
22 produkter
Adapting Proofs-as-Programs
The Curry--Howard Protocol
Av Iman Poernomo, John N. Crossley m. fl.
Inbunden, 2005
2109 kr
Lägg i varukorg
Adapting Proofs-as-Programs
The Curry--Howard Protocol
Av Iman Poernomo, John N. Crossley m. fl.
Häftad, 2010
2109 kr
Lägg i varukorg
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge
6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings
Av Mauro Calise, Carlos Delgado Kloos m. fl.
Häftad, 2019
689 kr
Lägg i varukorg
Software Engineering for Collective Autonomic Systems
The ASCENS Approach
Av Martin Wirsing, Matthias Hölzl m. fl.
Häftad, 2015
729 kr
Lägg i varukorg
Knowledge Science, Engineering and Management
8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings
Av Songmao Zhang, Martin Wirsing m. fl.
Häftad, 2015
729 kr
Lägg i varukorg
STACS 87
4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987
Av Franz J. Brandenburg, Guy Vidal-Naquet m. fl.
Häftad, 1987
689 kr
Lägg i varukorg
STACS 88
5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
Av Robert Cori, Martin Wirsing
Häftad, 1988
709 kr
Lägg i varukorg
Recent Trends in Algebraic Development Techniques
16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
Av Martin Wirsing, Dirk Pattinson m. fl.
Häftad, 2003
729 kr
Lägg i varukorg
Radical Innovations of Software and Systems Engineering in the Future
9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers
Av Martin Wirsing, Alexander Knapp m. fl.
Häftad, 2004
729 kr
Lägg i varukorg
Web Engineering
4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings
Av Nora Koch, Piero Fraternali m. fl.
Häftad, 2004
1449 kr
Lägg i varukorg
Theoretical Aspects of Computing - ICTAC 2005
Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
Av Dang Van Hung, Martin Wirsing
Häftad, 2005
1449 kr
Lägg i varukorg
Algebraic Methods: Theory, Tools and Applications
Av Martin Wirsing, Jan A. Bergstra
Häftad, 1989
1449 kr
Lägg i varukorg
Elementare Aussagenlogik
Av Friedrich L. Bauer, Martin Wirsing m. fl.
Häftad, 1991
729 kr
Lägg i varukorg
Programming Language Implementation and Logic Programming
3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings
Av Jan Maluszynski, Martin Wirsing
Häftad, 1991
709 kr
Lägg i varukorg
Methods of Programming
Selected Papers on the CIP-Project
Av Manfred Broy, Martin Wirsing
Häftad, 1991
729 kr
Lägg i varukorg
Programming Language Implementation and Logic Programming
4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings
Av Maurice Bruynooghe, Martin Wirsing
Häftad, 1992
729 kr
Lägg i varukorg
Algebraic Methodology and Software Technology
5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
Av Martin Wirsing, Maurice Nivat
Häftad, 1996
1449 kr
Lägg i varukorg
Software-Intensive Systems and New Computing Paradigms
Challenges and Visions
Av Martin Wirsing, Jean-Pierre Banatre m. fl.
Häftad, 2008
729 kr
Lägg i varukorg
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
Av Marsha Chechik, Martin Wirsing
Häftad, 2009
729 kr
Lägg i varukorg
Trustworthy Global Computing
5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
Av Martin Wirsing, Martin Hofmann m. fl.
Häftad, 2010
729 kr
Lägg i varukorg
Rigorous Software Engineering for Service-Oriented Systems
Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Av Martin Wirsing, Matthias Hölzl
Häftad, 2011
1449 kr
Lägg i varukorg
Java kompakt
Eine Einführung in die Software-Entwicklung mit Java
Av Matthias Hölzl, Allaithy Raed m. fl.
Häftad, 2013
679 kr
Lägg i varukorg