Hoppa till sidans huvudinnehåll

Guy Katz – författare

Visar alla böcker från författaren Guy Katz. Handla med fri frakt och snabb leverans.
4 produkter
Del 13466 - Lecture Notes in Computer Science

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

AvOmri Isac,Radoslav Ivanovm. fl.

Häftad, Engelska, 2022

929 kr

Skickas inom 10-15 vardagar

Del 14846 - Lecture Notes in Computer Science

AI Verification

First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings

AvGuy Avni,Mirco Giacobbem. fl.

Häftad, Engelska, 2024

1 849 kr

Skickas inom 5-8 vardagar

  • Nyhet

Tools and Algorithms for the Construction and Analysis of Systems

32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part II

AvSebastian Junges,Guy Katz

Häftad, Engelska, 2026

579 kr

Skickas inom 10-15 vardagar

  • Nyhet

Tools and Algorithms for the Construction and Analysis of Systems

32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part I

AvSebastian Junges,Guy Katz

Häftad, Engelska, 2026

579 kr

Skickas inom 10-15 vardagar