7 results
Type of media (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
7 results

Your search for Vijay Ganesh

  1. Cover: Foundational Principles of AI Governance and Policy - Springer
    Ann Fitz-Gerald | Vijay Ganesh | Jatin Nathwani
    Foundational Principles of AI Governance and Policy
    02/2026
    Springer
    9783032055880 (ISBN)
    E-Book
    PDF
    Other editions
    €128.39
    Available for download
  2. Cover: Automated Technology for Verification and Analysis - Springer
    Zhe Hou | Vijay Ganesh
    Automated Technology for Verification and Analysis
    19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
    10/2021
    Springer
    9783030888855 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  3. Cover: Automated Technology for Verification and Analysis - Springer
    Zhe Hou | Vijay Ganesh
    Automated Technology for Verification and Analysis
    19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
    10/2021
    Springer
    9783030888848 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 7-9 days
  4. Cover: Foundational Principles of AI Governance and Policy - Springer
    Ann Fitz-Gerald | Vijay Ganesh | Jatin Nathwani
    Foundational Principles of AI Governance and Policy
    02/2026
    Springer
    9783032055873 (ISBN)
    Book
    Hardback
    Other editions
    €128.39
    Shipment within 15-20 days
  5. Cover: Computer Aided Verification - Springer
    Arie Gurfinkel | Vijay Ganesh
    Computer Aided Verification
    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
    07/2024
    Springer
    9783031656293 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  6. Cover: Computer Aided Verification - Springer
    Arie Gurfinkel | Vijay Ganesh
    Computer Aided Verification
    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
    07/2024
    Springer
    9783031656262 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  7. Cover: Computer Aided Verification - Springer
    Arie Gurfinkel | Vijay Ganesh
    Computer Aided Verification
    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
    07/2024
    Springer
    9783031656323 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days