Vijay Ganesh - Böcker

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

5 produkter

Kategorier

5 produkter

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, Engelska, 2021

1 099 kr

Skickas inom 10-15 vardagar

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, 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

Av Arie Gurfinkel, Vijay Ganesh

Häftad, Engelska, 2024

699 kr

Skickas inom 10-15 vardagar

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, Engelska, 2024

699 kr

Skickas inom 10-15 vardagar

Nyhet

Foundational Principles of AI Governance and Policy

Av Ann Fitz-Gerald, Vijay Ganesh m. fl

Inbunden, Engelska, 2026

2 319 kr

Kommande