Εμφανίζονται 1 - 6 Αποτελέσματα από 6 για την αναζήτηση 'Schmidt, David', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    The Structure of Typed Promming Languages
    ανά SCHMIDT, DAVID A.
    Έκδοση 1994
    Βιβλίο
  2. 2
    Programming Languages and Systems 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
    Έκδοση 2004
    Άλλοι συγγραφείς: “…Schmidt, David…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Έκδοση 1993
    Άλλοι συγγραφείς: “…Schmidt, David…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 4
    Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
    Έκδοση 2011
    Άλλοι συγγραφείς: “…Schmidt, David…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /
    Έκδοση 2012
    Άλλοι συγγραφείς: “…Schmidt, David…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    The Essence of Computation Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones /
    Έκδοση 2002
    Άλλοι συγγραφείς: “…Schmidt, David…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email