Verkäufer
Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
AbeBooks-Verkäufer seit 19. Januar 2007
Print on Demand. Bestandsnummer des Verkäufers 409615828
This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024.
The papers included in this book extend the presentation in the AISoLA 2024 on-site proceedings. They focus on the following topics: AI-Assisted Programming; health care approaches using formal methods and AI; responsible and trusted AI: an interdisciplinary perspective; statistical model checking; and verification for neur-symbolic artificial intelligence.
Titel: Bridging the Gap Between AI and Reality: ...
Verlag: Springer
Erscheinungsdatum: 2025
Einband: Softcover
Zustand: New
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Bridging the Gap Between AI and Reality | Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Selected Papers | Bernhard Steffen | Taschenbuch | x | Englisch | 2025 | Springer | EAN 9783032013767 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Artikel-Nr. 134073559
Anzahl: 1 verfügbar
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Artikel-Nr. DB-9783032013767
Anzahl: 1 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024.The papers included in this book extend the presentation in the AISoLA 2024 on-site proceedings. They focus on the following topics: AI-Assisted Programming; health care approaches using formal methods and AI; responsible and trusted AI: an interdisciplinary perspective; statistical model checking; and verification for neur-symbolic artificial intelligence. Artikel-Nr. 9783032013767
Anzahl: 1 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Paperback. Zustand: Brand New. 450 pages. 9.25x6.10x9.25 inches. In Stock. Artikel-Nr. __3032013763
Anzahl: 1 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Paperback. Zustand: Brand New. 450 pages. 9.25x6.10x9.25 inches. In Stock. Artikel-Nr. x-3032013763
Anzahl: 1 verfügbar