Vijay Ganesh – författare

Visar alla böcker från författaren Vijay Ganesh.

5 produkter

1. 

   Automated Technology for Verification and Analysis

   19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

   Av Zhe Hou, Vijay Ganesh

   Häftad, 2021

   1089 kr

   Lägg i varukorg

2. 

   Computer Aided Verification

   36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I

   Av Arie Gurfinkel, Vijay Ganesh

   Häftad, 2024

   579 kr

   Lägg i varukorg

3. 

   Computer Aided Verification

   36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

   Av Arie Gurfinkel, Vijay Ganesh

   Häftad, 2024

   579 kr

   Lägg i varukorg

4. 

   Computer Aided Verification

   36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III

   Av Arie Gurfinkel, Vijay Ganesh

   Häftad, 2024

   589 kr

   Lägg i varukorg

5. 

   Foundational Principles of AI Governance and Policy

   Av Ann Fitz-Gerald, Vijay Ganesh m. fl.

   Inbunden, 2026

   1689 kr

   Lägg i varukorg