Εμφανίζονται 1 - 4 Αποτελέσματα από 4 για την αναζήτηση 'Morgan, Carroll', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Abstraction, Refinement and Proof for Probabilistic Systems
    ανά McIver, Annabelle, Morgan, Carroll
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Abstraction, Refinement and Proof for Probabilistic Systems
    ανά McIver, Annabelle
    Έκδοση 2005
    Άλλοι συγγραφείς: “…Morgan, Carroll…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  3. 3
    Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings /
    Έκδοση 2009
    Άλλοι συγγραφείς: “…Morgan, Carroll…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers /
    Έκδοση 2011
    Άλλοι συγγραφείς: “…Morgan, Carroll…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email