Hoppa till sidans huvudinnehåll

Christian Schilling – författare

Visar alla böcker från författaren .
3 produkter
Georgiana Caltais, Christian Schilling - Model Checking Software, Häftad
Del 13872 - Lecture Notes in Computer Science

Model Checking Software

29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings

AvGeorgiana Caltais,Christian Schilling

Häftad, Engelska, 2023

769 kr

Skickas inom 10-15 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

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

AvGuy Avni,Mirco Giacobbem. fl.

Häftad, Engelska, 2024

1 859 kr

Skickas inom 5-8 vardagar

  • Nyhet
Guy Avni, Christian Schilling - AI Verification, Häftad

AI Verification

Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24–25, 2026, Proceedings

AvGuy Avni,Christian Schilling

Häftad, Engelska, 2026

949 kr

Skickas inom 10-15 vardagar