Εμφανίζονται 1 - 5 Αποτελέσματα από 5 για την αναζήτηση 'Chin, Wei-Ngan', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Programming Languages and Systems Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings /
    Έκδοση 2004
    Άλλοι συγγραφείς: “…Chin, Wei-Ngan…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
    Έκδοση 2014
    Άλλοι συγγραφείς: “…Chin, Wei-Ngan…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 3
    Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs
    Έκδοση 2012
    Άλλοι συγγραφείς: “…Chin, Wei-Ngan…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 4
    Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
    ανά Bouajjani, Ahmed
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Chin, Wei-Ngan…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 5
    Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Chin, Wei-Ngan…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email