Εμφανίζονται 1 - 7 Αποτελέσματα από 7 για την αναζήτηση 'Kirchner, Claude', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 1
    Automated Deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings /
    Έκδοση 1998
    Άλλοι συγγραφείς: “…Kirchner, Claude…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /
    Έκδοση 2007
    Άλλοι συγγραφείς: “…Kirchner, Claude…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Formal to Practical Security Papers Issued from the 2005-2008 French-Japanese Collaboration /
    Έκδοση 2009
    Άλλοι συγγραφείς: “…Kirchner, Claude…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
    ανά Abramsky, Samson, 1953-
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Kirchner, Claude…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 5
    Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
    ανά Abramsky, Samson, 1953-
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Kirchner, Claude…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 6
    Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Kirchner, Claude…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Kirchner, Claude…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email