Εμφανίζονται 1 - 6 Αποτελέσματα από 6 για την αναζήτηση 'Hofmann, Martin', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Extensional constructs in intensional type theory
    ανά Hofmann, Martin
    Έκδοση 1997
    Βιβλίο
  2. 2
    Typed Lambda Calculi and Applications 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings /
    Έκδοση 2003
    Άλλοι συγγραφείς: “…Hofmann, Martin…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2007
    Άλλοι συγγραφείς: “…Hofmann, Martin…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 4
    Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
    Έκδοση 2011
    Άλλοι συγγραφείς: “…Hofmann, Martin…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
    ανά Wirsing, Martin
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Hofmann, Martin…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 6
    Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Hofmann, Martin…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email