Εμφανίζονται 1 - 5 Αποτελέσματα από 5 για την αναζήτηση 'Strichman, Ofer', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
    ανά Strichman, Ofer
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 2
    Decision Procedures An Algorithmic Point of View /
    ανά Kroening, Daniel, Strichman, Ofer
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Decision Procedures An Algorithmic Point of View /
    ανά Kroening, Daniel, Strichman, Ofer
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Strichman, Ofer…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
    Έκδοση 2017
    Άλλοι συγγραφείς: “…Strichman, Ofer…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email