Search result

Formal Methods for Industrial Critical Systems English 04.09.2025 Paperback / Softback Fr. 82.00 6-7 weeks
Runtime Verification English 18.10.2025 Paperback / Softback Fr. 92.00 6-7 weeks
Agents and Artificial Intelligence English 26.04.2025 Paperback / Softback Fr. 147.00 6-7 weeks
AI Identities English Paperback / Softback Fr. 46.90 Will be released 24.12.2025
Metareasoning for Robots English Hardback Fr. 69.00 New edition in preparation, currently unavailable