Hoppa till sidans huvudinnehåll

Vijay Ganesh – författare

Visar alla böcker från författaren Vijay Ganesh.
5 produkter
Zhe Hou, Vijay Ganesh - Automated Technology for Verification and Analysis, Häftad
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 089 kr

Skickas inom 10-15 vardagar

Arie Gurfinkel, Vijay Ganesh - Computer Aided Verification, Häftad
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

Arie Gurfinkel, Vijay Ganesh - Computer Aided Verification, Häftad
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

Arie Gurfinkel, Vijay Ganesh - Computer Aided Verification, Häftad
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

Ann Fitz-Gerald, Vijay Ganesh, Jatin Nathwani, Maral Niazi, Münür Sacit Herdem - Foundational Principles of AI Governance and Policy, Inbunden

Foundational Principles of AI Governance and Policy

AvAnn Fitz-Gerald,Vijay Ganeshm. fl.

Inbunden, Engelska, 2026

1 689 kr

Skickas inom 10-15 vardagar