Εμφανίζονται 1 - 8 Αποτελέσματα από 8 για την αναζήτηση 'Hermanns, Holger', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    Interactive Markov Chains The Quest for Quantified Quality /
    ανά Hermanns, Holger, Hermanns, Holger
    Έκδοση 2002
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
    Έκδοση 2020
    Άλλοι συγγραφείς: “…Hermanns, Holger…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 3
    Process Algebra and Probabilistic Methods: Performance Modeling and Verification Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings /
    Έκδοση 2002
    Άλλοι συγγραφείς: “…Hermanns, Holger…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings /
    Έκδοση 2006
    Άλλοι συγγραφείς: “…Hermanns, Holger…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings /
    Έκδοση 2006
    Άλλοι συγγραφείς: “…Hermanns, Holger…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    Έκδοση 2007
    Άλλοι συγγραφείς: “…Hermanns, Holger…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures /
    Έκδοση 2001
    Άλλοι συγγραφείς: “…Hermanns, Holger…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Validation of Stochastic Systems A Guide to Current Research /
    Έκδοση 2004
    Άλλοι συγγραφείς: “…Hermanns, Holger…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email