Hoppa till sidans huvudinnehåll

Bridging the Gap Between AI and Reality

First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings

Häftad, Engelska, 2023

Av Bernhard Steffen

1 149 kr

Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems;

Produktinformation

  • Utgivningsdatum2023-12-14
  • Mått155 x 235 x 26 mm
  • Vikt709 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor456
  • FörlagSpringer International Publishing AG
  • ISBN9783031460012

Tillhör följande kategorier

Hoppa över listan

Du kanske också är intresserad av

Let’s Talk AI

Let’s Talk AI

Barbara Steffen, Edward A. Lee, Bernhard Steffen

669 kr

Computing and Software Science

Computing and Software Science

Bernhard Steffen, Gerhard Woeginger

439 kr

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Tiziana Margaria, Bernhard Steffen

729 kr

Leveraging Applications of Formal Methods, Verification, and Validation

Leveraging Applications of Formal Methods, Verification, and Validation

Tiziana Margaria, Bernhard Steffen

729 kr

Bridging the Gap Between AI and Reality

Bridging the Gap Between AI and Reality

Bernhard Steffen

699 kr

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Tiziana Margaria, Bernhard Steffen

1 019 kr

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Tiziana Margaria, Bernhard Steffen

729 kr

Correct System Design

Correct System Design

Ernst-Rüdiger Olderog, Bernhard Steffen

729 kr

Leveraging Applications of Formal Methods, Verification, and Validation

Leveraging Applications of Formal Methods, Verification, and Validation

Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen

729 kr

Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria, Bernhard Steffen

1 019 kr