Εμφανίζονται 1 - 4 Αποτελέσματα από 4 για την αναζήτηση 'Damm, Werner', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    Έκδοση 2007
    Άλλοι συγγραφείς: “…Damm, Werner…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings /
    Έκδοση 2002
    Άλλοι συγγραφείς: “…Damm, Werner…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Functional languages:compiler technology and parallelism Dagsstuhl-Seminar-Report; 36 23.27.3.92(9213)
    Άλλοι συγγραφείς: “…Damm, Werner…”
    Βιβλίο
  4. 4
    Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG), Final Report /
    Έκδοση 2004
    Άλλοι συγγραφείς: “…Damm, Werner…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email