Michael Huth

Huth in 2010. Michael Huth (born 2 September 1969) is a German figure skating coach and former competitor for East Germany. Provided by Wikipedia
Showing 1 - 5 results of 5 for search 'Huth, Michael', query time: 0.02s Refine Results
  1. 1
    Logic in computer science : modelling and reasoning about systems /
    by Huth, Michael, 1962-
    Published 2004
    Book
  2. 2
    Logic in computer science Modelling and reasoning about systems
    Book
  3. 3
    Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches /
    Other Authors: “…Huth, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings /
    Published 2007
    Other Authors: “…Huth, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Trust and Trustworthy Computing 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings /
    Published 2013
    Other Authors: “…Huth, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search