Vijay Ganesh – författare
Visar alla böcker från författaren Vijay Ganesh. Handla med fri frakt och snabb leverans.
7 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, 2021
846 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated …
Automated Technology for Verification and Analysis
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
Av Vijay Ganesh, Zhe Hou
E-bok, 2021
1091 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated …
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
453 kr
Lägg i varukorg
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new …
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
453 kr
Lägg i varukorg
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new …
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
455 kr
Lägg i varukorg
This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains …
Foundational Principles of AI Governance and Policy
Av Ann Fitz-Gerald, Vijay Ganesh m. fl.
Inbunden, 2026
1311 kr
Lägg i varukorg
This edited volume provides a structured analysis of AI governance principles, challenges, and implementation strategies. Drawing on interdisciplinary perspectives and global case studies, the volume offers actionable insights for policymakers, industry leaders, and academics.The book is organized …
Foundational Principles of AI Governance and Policy
Av Munur Sacit Herdem, Maral Niazi m. fl.
E-bok, 2026
1785 kr
Lägg i varukorg
This edited volume provides a structured analysis of AI governance principles, challenges, and implementation strategies. Drawing on interdisciplinary perspectives and global case studies, the volume offers actionable insights for policymakers, industry leaders, and academics.The book is organized …
