Guy Avni – författare
Visar alla böcker från författaren Guy Avni. Handla med fri frakt och snabb leverans.
4 produkter
AI Verification
First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings
Av Guy Avni, Mirco Giacobbe m. fl.
Häftad, 2024
1461 kr
Lägg i varukorg
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal …
AI Verification
First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings
Av Christian Schilling, Nina Narodytska m. fl.
E-bok, 2024
1838 kr
Lägg i varukorg
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024. The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal …
AI Verification
Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24–25, 2026, Proceedings
Av Guy Avni, Christian Schilling
Häftad, 2026
745 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 24–25, 2026.The 17 full papers and 4 competition contributions were carefully reviewed and selected from 34 submissions. The scope of the …
AI Verification
Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings
Av Christian Schilling, Guy Avni
E-bok, 2026
985 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 24–25, 2026.The 17 full papers and 4 competition contributions were carefully reviewed and selected from 34 submissions. The scope of the …
