Christian Schilling – författare
Visar alla böcker från författaren Christian Schilling. Handla med fri frakt och snabb leverans.
7 produkter
Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings
Av Georgiana Caltais, Christian Schilling
Häftad, 2023
604 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were …
Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings
Av Christian Schilling, Georgiana Caltais
E-bok, 2023
815 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were …
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
1461 kr
Lägg i varukorg
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal …
AI Verification
First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings
Av Christian Schilling, Nina Narodytska m. fl.
E-bok, 2024
1838 kr
Lägg i varukorg
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024. The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal …
AI Verification
Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24–25, 2026, Proceedings
Av Guy Avni, Christian Schilling
Häftad, 2026
745 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 24–25, 2026.The 17 full papers and 4 competition contributions were carefully reviewed and selected from 34 submissions. The scope of the …
AI Verification
Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings
Av Christian Schilling, Guy Avni
E-bok, 2026
985 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 24–25, 2026.The 17 full papers and 4 competition contributions were carefully reviewed and selected from 34 submissions. The scope of the …
