Verwandte Artikel zu AI Verification: Third International Symposium, SAIV...
AI Verification: Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24–25, 2026, Proceedings (Lecture Notes in Computer Science, Band 16831) - Softcover
Inhaltsangabe
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 symposium was organized into two broad thematic areas. The first area,
formal methods for artificial intelligence included topics such as formal specifications, analysis, synthesis, testing, statistical analysis, and explainability for systems with AI components. The second area, artificial intelligence for formal methods focused on AI techniques applied to formal verification, synthesis, safe control, and falsification.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für AI Verification: Third International Symposium, SAIV...
Beispielbild für diese ISBN
AI Verification (Paperback)
Verlag:
Springer Nature Switzerland AG, Cham, 2026
ISBN 10: 3032323568
ISBN 13: 9783032323569
Neu
Paperback
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 2425, 2026.The 17 full papers and 4 competition contributions were carefully reviewed and selected from 34 submissions. The scope of the symposium was organized into two broad thematic areas. The first area,formal methods for artificial intelligence included topics such as formal specifications, analysis, synthesis, testing, statistical analysis, and explainability for systems with AI components. The second area, artificial intelligence for formal methods focused on AI techniques applied to formal verification, synthesis, safe control, and falsification. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9783032323569
Beispielbild für diese ISBN
AI Verification: Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings (Lecture Notes in Computer Science, 16831)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783032323569
Neu kaufen
EUR 82,35
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
AI Verification
Verlag:
Springer, Berlin, Springer Sep 2026, 2026
ISBN 10: 3032323568
ISBN 13: 9783032323569
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, duringJuly 24 25, 2026.The 17 full papers and 4 competition contributions were carefully reviewed and selected from 34 submissions. The scope of the symposium was organized into two broad thematic areas. The first area,formal methods for artificial intelligence included topics such as formal specifications, analysis, synthesis, testing, statistical analysis, and explainability for systems with AI components. The second area, artificial intelligence for formal methods focused on AI techniques applied to formal verification, synthesis, safe control, and falsification. 402 pp. Englisch. Bestandsnummer des Verkäufers 9783032323569
Neu kaufen
EUR 70,61
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
AI Verification
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Bestandsnummer des Verkäufers 3439035169
Neu kaufen
EUR 62,42
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
AI Verification: Third International Symposium, SAIV 2026, Lisbon, Portugal, July 2425, 2026, Proceedings (Lecture Notes in Computer Science, 16831)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 413 pages. 6.14x0.85x9.21 inches. In Stock. Bestandsnummer des Verkäufers x-3032323568
Neu kaufen
EUR 109,25
EUR 14,54 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
AI Verification (Paperback)
Verlag:
Springer Nature Switzerland AG, Cham, 2026
ISBN 10: 3032323568
ISBN 13: 9783032323569
Neu
Paperback
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 2425, 2026.The 17 full papers and 4 competition contributions were carefully reviewed and selected from 34 submissions. The scope of the symposium was organized into two broad thematic areas. The first area,formal methods for artificial intelligence included topics such as formal specifications, analysis, synthesis, testing, statistical analysis, and explainability for systems with AI components. The second area, artificial intelligence for formal methods focused on AI techniques applied to formal verification, synthesis, safe control, and falsification. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Bestandsnummer des Verkäufers 9783032323569
Neu kaufen
EUR 86,25
EUR 43,04 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
AI Verification
Print-on-DemandAnbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 2425, 2026.The 17 full papers and 4 competition contributions were carefully reviewed and selected from 34 submissions. The scope of the symposium was organized into two broad thematic areas. The first area,formal methods for artificial intelligence included topics such as formal specifications, analysis, synthesis, testing, statistical analysis, and explainability for systems with AI components. The second area, artificial intelligence for formal methods focused on AI techniques applied to formal verification, synthesis, safe control, and falsification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch. Bestandsnummer des Verkäufers 9783032323569
Neu kaufen
EUR 70,61
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
AI Verification : Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, duringJuly 24 25, 2026.The 17 full papers and 4 competition contributions were carefully reviewed and selected from 34 submissions. The scope of the symposium was organized into two broad thematic areas. The first area,formal methods for artificial intelligence included topics such as formal specifications, analysis, synthesis, testing, statistical analysis, and explainability for systems with AI components. The second area, artificial intelligence for formal methods focused on AI techniques applied to formal verification, synthesis, safe control, and falsification. Bestandsnummer des Verkäufers 9783032323569
Neu kaufen
EUR 102,11
EUR 35,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
AI Verification (Paperback)
Verlag:
Springer Nature Switzerland AG, Cham, 2026
ISBN 10: 3032323568
ISBN 13: 9783032323569
Neu
Paperback
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 2425, 2026.The 17 full papers and 4 competition contributions were carefully reviewed and selected from 34 submissions. The scope of the symposium was organized into two broad thematic areas. The first area,formal methods for artificial intelligence included topics such as formal specifications, analysis, synthesis, testing, statistical analysis, and explainability for systems with AI components. The second area, artificial intelligence for formal methods focused on AI techniques applied to formal verification, synthesis, safe control, and falsification. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Bestandsnummer des Verkäufers 9783032323569
Neu kaufen
EUR 110,25
EUR 32,51 Versand
Versand von Australien nach USA
Versand von Australien nach USA
Anzahl: 1 verfügbar