Guy Katz - Böcker

Visar alla böcker från författaren Guy Katz.
2 produkter
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi - Software Verification and Formal Methods for ML-Enabled Autonomous Systems, Häftad

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Av Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi

Häftad, Engelska, 2022

919 kr

Skickas måndag 24/11
Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling - AI Verification, Häftad

AI Verification

Av Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling

Häftad, Engelska, 2024

2 179 kr

Skickas inom 7-10 vardagar