Εμφανίζονται 1 - 5 Αποτελέσματα από 5 για την αναζήτηση 'Huth, Michael', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Logic in computer science : modelling and reasoning about systems /
    ανά Huth, Michael, 1962-
    Έκδοση 2004
    Βιβλίο
  2. 2
    Logic in computer science Modelling and reasoning about systems
    ανά Huth, Michael, 1962-, Ryan, Mark, 1962-
    Έκδοση 2000
    Βιβλίο
  3. 3
    Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches /
    Άλλοι συγγραφείς: “…Huth, Michael…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2007
    Άλλοι συγγραφείς: “…Huth, Michael…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Trust and Trustworthy Computing 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings /
    Έκδοση 2013
    Άλλοι συγγραφείς: “…Huth, Michael…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email