• Herausgegeben:Steffen, Bernhard,国内・海外在庫あり

    による検索結果
  • 1件〜4件(全4件)
書名
著者
出版社
ISBN
出版年月
装丁
言語
在庫状況
書籍表紙

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円

海外在庫あり 通常2~5週間で出荷
書籍表紙

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円

海外在庫あり 通常2~5週間で出荷
書籍表紙

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円

海外在庫あり 通常2~5週間で出荷
書籍表紙

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円

海外在庫あり 通常2~5週間で出荷