Akademibokhandeln

Nina Narodytska – författare

Visar alla böcker från författaren Nina Narodytska.

2 produkter

  1. Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi - Software Verification and Formal Methods for ML-Enabled Autonomous Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Software Verification and Formal Methods for ML-Enabled Autonomous Systems

    5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

    Av Omri Isac, Radoslav Ivanov m. fl.

    Häftad, 2022

    949 kr

    Lägg i varukorg

  2. Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling - AI Verification, Häftad. Tillgänglighet: Lägg i varukorg

    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

    1869 kr

    Lägg i varukorg