Εμφανίζονται 1 - 11 Αποτελέσματα από 11 για την αναζήτηση 'Hinchey, Michael', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 1
    Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Teaching and learning formal methods
    Έκδοση 1996
    Άλλοι συγγραφείς: “…Hinchey, Michael G.…”
    Βιβλίο
  3. 3
    ZUM'97: The Z Formal Specification Notation 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings /
    Έκδοση 1997
    Άλλοι συγγραφείς: “…Hinchey, Michael G.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
    Έκδοση 1998
    Άλλοι συγγραφείς: “…Hinchey, Michael G.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings /
    Έκδοση 2007
    Άλλοι συγγραφείς: “…Hinchey, Michael G.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Agent Technology from a Formal Perspective
    ανά Rouff, Christopher A.
    Έκδοση 2006
    Άλλοι συγγραφείς: “…Hinchey, Michael…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 7
    Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers /
    Έκδοση 2005
    Άλλοι συγγραφείς: “…Hinchey, Michael G.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Agent Technology from a Formal Perspective
    Έκδοση 2006
    Άλλοι συγγραφείς: “…Hinchey, Michael…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Formal Approaches to Agent-Based Systems First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers /
    Έκδοση 2001
    Άλλοι συγγραφείς: “…Hinchey, Michael G.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Formal Approaches to Agent-Based Systems Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers /
    Έκδοση 2003
    Άλλοι συγγραφείς: “…Hinchey, Michael G.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Innovative Concepts for Autonomic and Agent-Based Systems Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers /
    Έκδοση 2006
    Άλλοι συγγραφείς: “…Hinchey, Michael G.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email