Εμφανίζονται 1 - 5 Αποτελέσματα από 5 για την αναζήτηση 'Bertacco, Valeria', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Scalable Hardware Verification with Symbolic Simulation
    ανά Bertacco, Valeria
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Scalable Hardware Verification with Symbolic Simulation
    ανά Bertacco, Valeria
    Έκδοση 2006
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  3. 3
    Post-Silicon and Runtime Verification for Modern Processors
    ανά Wagner, Ilya, Bertacco, Valeria
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
    ανά Chang, Kai-hui, Markov, Igor L., Bertacco, Valeria
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
    Έκδοση 2013
    Άλλοι συγγραφείς: “…Bertacco, Valeria…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email