Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

AI Verification

Name: AI Verification
Brand: Springer
SKU: 47698559
Price: 151.59 EUR
Availability: InStock
Author: Guy Avni
ISBN: 9783031651120

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

Sprache

Englisch

E-Book Adobe ePub DRM

Verlag Springer, Juli 2024

This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification... Vollständige Beschreibung

Libristo-Code: 47698559

371 b

151.59 € inkl. MwSt.

Verfügbar Sofort herunterladbar

Kunden kauften auch

Parisuhderetriitti Lorraine Brown

Adobe ePub DRM

8.59 €

Godzilla Classic Collection Herb Trimpe

Broschur

69.00 €

Les coulisses du Tour de France Jean-Luc Gatellier

Broschur

76.39 €

Prospectiva estratégica David Arias Chávez

Broschur

22.49 €

Le fracas et le silence Cory Anderson

Broschur

24.79 €

Zlatan Matt Oldfield

Broschur

12.19 €

Magic Water Colouring - Feen und Elfen Rachael McLean

Hardcover

9.00 €

Am eignen Herd Maximilian Bern

Hardcover

77.90 €

Resonanzwandler für die Erzeugung hoher Gleichspannungen Martin Rentzsch

Broschur

29.80 €

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 specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; testing approaches for systems with AI components; statistical approaches for analyzing systems with AI components; and approaches for enhancing the explainability of systems with AI components. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; AI methods for formal synthesis; AI methods for safe control; and AI methods for falsification.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name AI Verification

Autor Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling

Sprache

Englisch

Einband E-Book - Adobe ePub DRM

Datum der Veröffentlichung 2024

EAN 9783031651120

Libristo-Code 47698559

Verlag Springer

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert