Bridging the Gap Between AI and Reality

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

Lecture Notes in Computer Science 14380

Herausgegeben:Steffen, Bernhard

出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 版次：1st ed. 2024. 2024. xiii

税込価格：

17,246円

海外在庫あり 通常２～５週間で出荷

Bridging the Gap Between AI and Reality

First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Lecture Notes in Computer Science 14129

Herausgegeben:Steffen, Bernhard

出版社：Springer, Berlin; Springer Nature Switzerland; Isola 出版年月：2024年 00月
装丁：PAP 版次：2024. xi

税込価格：

32,033円

海外在庫あり 通常２～５週間で出荷

Bridging the Gap Between AI and Reality

Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings

Lecture Notes in Computer Science 15217

Herausgegeben:Steffen, Bernhard

出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2025年 00月
装丁：PAP 言語：ENG 版次：2025. xiii

税込価格：

17,246円

海外在庫あり 通常２～５週間で出荷

Leveraging Applications of Formal Methods, Verification and Validation

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Lecture Notes in Computer Science 13036

Herausgegeben:Steffen, Bernhard Margaria, Tiziana

出版社：Springer, Berlin; Springer 出版年月：2021年 00月
装丁：PAP 版次：1st ed. 2021. 2021. XII

税込価格：

17,246円

海外在庫あり 通常２～５週間で出荷