Vijay Ganesh – författare

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

5 produkter

Kategorier

5 produkter

Del 12971
Del 12971 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
AvZhe Hou,Vijay Ganesh
Häftad, Engelska, 2021
1 099 kr
Skickas inom 10-15 vardagar
Del 14681
Del 14681 - Lecture Notes in Computer Science
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I
AvArie Gurfinkel,Vijay Ganesh
Häftad, Engelska, 2024
589 kr
Skickas inom 5-8 vardagar
Del 14682
Del 14682 - Lecture Notes in Computer Science
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
AvArie Gurfinkel,Vijay Ganesh
Häftad, Engelska, 2024
589 kr
Skickas inom 5-8 vardagar
Del 14683
Del 14683 - Lecture Notes in Computer Science
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III
AvArie Gurfinkel,Vijay Ganesh
Häftad, Engelska, 2024
589 kr
Skickas inom 10-15 vardagar
Foundational Principles of AI Governance and Policy
AvAnn Fitz-Gerald,Vijay Ganeshm. fl.
Inbunden, Engelska, 2026
1 699 kr
Skickas inom 10-15 vardagar