Εμφανίζονται 1 - 5 Αποτελέσματα από 5 για την αναζήτηση 'Merz, Stephan', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Temporal Logic and State Systems
    ανά Kröger, Fred, Merz, Stephan
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
    ανά MΓ©ry, Dominique
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Merz, Stephan…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  3. 3
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Merz, Stephan…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /
    Έκδοση 2014
    Άλλοι συγγραφείς: “…Merz, Stephan…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
    Έκδοση 2016
    Άλλοι συγγραφείς: “…Merz, Stephan…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email