Εμφανίζονται 1 - 6 Αποτελέσματα από 6 για την αναζήτηση 'Smolka, Scott A.', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Introduction to Operating System Design and Implementation The OSP 2 Approach /
    ανά Kifer, Michael, Smolka, Scott A.
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Έκδοση 2013
    Άλλοι συγγραφείς: “…Smolka, Scott A.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
    Έκδοση 2014
    Άλλοι συγγραφείς: “…Smolka, Scott A.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Interactive Computation The New Paradigm
    ανά Goldin, Dina
    Έκδοση 2006
    Άλλοι συγγραφείς: “…Smolka, Scott A.…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 5
    Interactive Computation The New Paradigm /
    Έκδοση 2006
    Άλλοι συγγραφείς: “…Smolka, Scott A.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Handbook of process algebra /
    Έκδοση 2001
    Άλλοι συγγραφείς: “…Smolka, Scott A.…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email