Laura Nenzi - Böcker

Visar alla böcker från författaren Laura Nenzi.

3 produkter

Kategorier

3 produkter

Chaos and Cosmos of Kurosawa Tokiko

One Woman’s Transit from Tokugawa to Meiji Japan

Inbunden, Engelska, 2014

799 kr

Tillfälligt slut

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, Engelska, 2022

939 kr

Skickas inom 10-15 vardagar

Runtime Verification

23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings

Av Panagiotis Katsaros, Laura Nenzi

Häftad, Engelska, 2023

999 kr

Skickas inom 10-15 vardagar