Hoppa till sidans huvudinnehåll

Vijay Ganesh - Böcker

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

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 059 kr

Skickas inom 10-15 vardagar

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

639 kr

Skickas inom 10-15 vardagar

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

669 kr

Skickas inom 10-15 vardagar

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

669 kr

Skickas inom 10-15 vardagar

  • Nyhet

Foundational Principles of AI Governance and Policy

AvAnn Fitz-Gerald,Vijay Ganesh m. fl.

Inbunden, Engelska, 2026

2 169 kr

Kommande