有 1 項符合
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
的圖書
|
 |
| Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
作者：Fan
出版社：Association for Computing Machinery
出版日期：2024-10-22
語言：英文 規格：平裝 / 184頁 / 23.5 x 19.05 x 0.99 cm / 普通級/ 初版
| 圖書介紹 - 資料來源：博客來 目前評分： 評分：
圖書名稱：Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
詳細資料
- ISBN：9798400708633
- 規格：平裝 / 184頁 / 23.5 x 19.05 x 0.99 cm / 普通級 / 初版
- 出版地：美國
|
|
|
|
|
 | 作者：葉東籬 出版社：藍海製作有限公司 出版日期：2025-08-27 66折： $ 594 |  | 作者：煙織 出版社：藍海製作有限公司 出版日期：2025-11-12 66折： $ 634 |  | 作者：雀喜 出版社：藍海製作有限公司 出版日期：2024-09-25 66折： $ 594 |  | 作者：聆月 出版社：藍海製作有限公司 出版日期：2024-03-13 66折： $ 554 | |
|
|
 | 作者：千年藍乃 出版社：青文出版社股份有限公司 出版日期：2026-07-02 $ 142 |  | 作者：湯瑪斯‧祈里（Thomas R. Kelly） 出版社：校園書房出版社 出版日期：2018-06-01 $ 229 |  | 作者：不良少年 出版社：時報文化出版企業股份有限公司 出版日期：2026-07-14 $ 355 |  | 作者：那梧なゆた 出版社：尖端出版 出版日期：2026-07-10 $ 126 | |
|
|
 | 作者：明燚 出版社：博峰文化（滾石移動） 出版日期：2026-07-07 $ 240 |  | 作者：孫佰濤 出版社：博峰文化（滾石移動） 出版日期：2026-07-07 $ 240 | | | 作者：gonza 出版社：未來數位有限公司 出版日期：2026-07-17 $ 276 |  | 作者：DUBU(REDICE STUDIO) 出版社：知翎文化(欣燦連) 出版日期：2026-07-23 $ 980 | |
|
|
|
|
|
|
博客來