Mirco Giacobbe – författare
Visar alla böcker från författaren Mirco Giacobbe. 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
Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings
Av Mirco Giacobbe, Anna Lukina
Häftad, 2025
658 kr
Lägg i varukorg
This LNCS volume constitutes the proceedings of the Second International Symposium, SAIV 2025, in Zagreb, Croatia, during July 2025.The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal specifications for …
AI Verification
Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings
Av Anna Lukina, Mirco Giacobbe
E-bok, 2025
813 kr
Lägg i varukorg
This LNCS volume constitutes the proceedings of the Second International Symposium, SAIV 2025, in Zagreb, Croatia, during July 2025.The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal specifications for …
