Anna Lukina – författare
Visar alla böcker från författaren .
2 produkter
2 produkter
Del 14846 - Lecture Notes in Computer Science
AI Verification
First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings
Häftad, Engelska, 2024
1 859 kr
Skickas inom 5-8 vardagar
Del 15947 - Lecture Notes in Computer Science
AI Verification
Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings
Häftad, Engelska, 2025
839 kr
Skickas inom 5-8 vardagar