Nina Narodytska - Böcker

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

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

959 kr

Skickas inom 7-10 vardagar
Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling - AI Verification, Häftad
Del 14846 - Lecture Notes in Computer Science

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 5-8 vardagar