Εμφανίζονται 21 - 40 Αποτελέσματα από 48 για την αναζήτηση '"Computer Aided Verification"', χρόνος αναζήτησης: 0,25δλ Περιορισμός αποτελεσμάτων
  1. 21
    Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 22
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 23
    Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 24
    Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 25
    Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
    ανά Touili, Tayssir
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 26
    Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990
    Έκδοση 1991
    Θέματα: “…COMPUTER AIDED VERIFICATION 124074…”
    Βιβλίο
  7. 27
    2020_Book_ComputerAidedVerification.pdf
    Έκδοση 2020
    “…st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA…”
    Λήψη πλήρους κειμένου
  8. 28
    2020_Book_ComputerAidedVerification.pdf
    Έκδοση 2020
    “…st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA…”
    Λήψη πλήρους κειμένου
  9. 29
    978-3-031-13188-2.pdf
    Έκδοση 2022
    “…rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel…”
    Λήψη πλήρους κειμένου
  10. 30
    978-3-031-13185-1.pdf
    Έκδοση 2022
    “…rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel…”
    Λήψη πλήρους κειμένου
  11. 31
    978-3-031-37703-7.pdf
    Έκδοση 2023
    “… of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris…”
    Λήψη πλήρους κειμένου
  12. 32
    1006838.pdf
    Έκδοση 2020
    “…th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July…”
    Λήψη πλήρους κειμένου
  13. 33
    1006830.pdf
    Έκδοση 2020
    “…st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA…”
    Λήψη πλήρους κειμένου
  14. 34
    1006831.pdf
    Έκδοση 2020
    “…st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA…”
    Λήψη πλήρους κειμένου
  15. 35
    978-3-031-37706-8.pdf
    Έκδοση 2023
    “… of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris…”
    Λήψη πλήρους κειμένου
  16. 36
    978-3-031-37709-9.pdf
    Έκδοση 2023
    “… of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris…”
    Λήψη πλήρους κειμένου
  17. 37
    1006839.pdf
    Έκδοση 2020
    “…th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July…”
    Λήψη πλήρους κειμένου
  18. 38
    978-3-030-81685-8.pdf
    Έκδοση 2021
    “…rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021…”
    Λήψη πλήρους κειμένου
  19. 39
    978-3-030-81688-9.pdf
    Έκδοση 2021
    “…rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021…”
    Λήψη πλήρους κειμένου
  20. 40
    Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email