Showing 1 - 13 results of 13 for search 'Wirsing, Martin', query time: 0.04s Refine Results
  1. 1
    Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
    by Wirsing, Martin
    Published 2010
    Get full text
    Electronic Kit Book
  2. 2
    Adapting Proofs-as-Programs The Curry-Howard Protocol /
    Full Text via HEAL-Link
    Electronic eBook
  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…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    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: “…Wirsing, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings /
    Published 2005
    Other Authors: “…Wirsing, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    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…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Knowledge Science, Engineering and Management 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings /
    Published 2015
    Other Authors: “…Wirsing, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    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…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Web Engineering 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings /
    Published 2004
    Other Authors: “…Wirsing, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /
    Published 2010
    Other Authors: “…Wirsing, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Software Engineering for Collective Autonomic Systems The ASCENS Approach /
    Published 2015
    Other Authors: “…Wirsing, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Software-Intensive Systems and New Computing Paradigms Challenges and Visions /
    Published 2008
    Other Authors: “…Wirsing, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    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: “…Wirsing, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search