Showing 1 - 19 results of 19 for search 'Wirsing, Martin', query time: 0.12s Narrow Search
  1. 1
    Adapting Proofs-as-Programs The Curry--Howard Protocol
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Programming Language Implementation and Logic Programming 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings
    Published 1992
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
    Published 2011
    Other Authors: “…Wirsing, Martin…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Algebraic Methodology and Software Technology 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
    Published 1996
    Other Authors: “…Wirsing, Martin…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    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
    Published 2009
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  6. 6
    Methods of Programming Selected Papers on the CIP-Project
    Published 1991
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  7. 7
    STACS 88 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
    Published 1988
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  8. 8
    Programming Language Implementation and Logic Programming 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings
    Published 1991
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  9. 9
    Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
    Published 2005
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  10. 10
    Algebraic Methods: Theory, Tools and Applications
    Published 1989
    Other Authors: “…Wirsing, Martin…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  11. 11
    Trustworthy Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
    Published 2010
    Other Authors: “…Wirsing, Martin…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  12. 12
    Web Engineering 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings
    Published 2004
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  13. 13
    Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
    Published 2003
    Other Authors: “…Wirsing, Martin…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  14. 14
    Knowledge Science, Engineering and Management 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings
    Published 2015
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  15. 15
    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
    Other Authors: “…Wirsing, Martin…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  16. 16
    Software Engineering for Collective Autonomic Systems The ASCENS Approach
    Published 2015
    Other Authors: “…Wirsing, Martin…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  17. 17
    STACS 87 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987
    Published 1987
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  18. 18
    Software-Intensive Systems and New Computing Paradigms Challenges and Visions
    Published 2008
    Other Authors: “…Wirsing, Martin…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  19. 19
    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
    Published 2019
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: