Martin Wirsing

Martin Wirsing (born 24 December 1948 in Bayreuth) is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany. Provided by Wikipedia
Showing 1 - 5 results of 5 for search 'Wirsing, Martin', query time: 0.02s Refine Results
  1. 1
    Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
    by Hung, Dang Van
    Published in Springer e-books (2005)
    Other Authors: “...Wirsing, Martin...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 2
    Adapting Proofs-as-Programs The Curry-Howard Protocol /
    by Poernomo, Iman Hafiz
    Published in Springer e-books (2005)
    Other Authors: “...Wirsing, Martin...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 3
    Knowledge Science, Engineering and Management 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Other Authors: “...Wirsing, Martin...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 4
    Software Engineering for Collective Autonomic Systems The ASCENS Approach /
    Published in Springer eBooks (2015)
    Other Authors: “...Wirsing, Martin...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 5
    Software-Intensive Systems and New Computing Paradigms Challenges and Visions /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Other Authors: “...Wirsing, Martin...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed