有 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 / 普通級 / 初版
- 出版地：美國
|
|
|
|
|
 | 作者：李盈、李小敏 出版社：時報文化出版企業股份有限公司 出版日期：2023-10-31 66折： $ 317 |  | 作者：月出雲 出版社：東佑文化事業有限公司 出版日期：2012-08-01 66折： $ 165 |  | 作者：淺綠 出版社：東佑文化事業有限公司 出版日期：2015-02-17 66折： $ 165 |  | 作者：十三春 出版社：東佑文化事業有限公司 出版日期：2014-02-12 66折： $ 165 | |
|
|
 | 作者：二目 出版社：長鴻出版社股份有限公司 出版日期：2026-04-24 $ 126 |  | 作者：陳泰廷 出版社：寶瓶文化事業有限公司 出版日期：2026-04-08 $ 323 |  | 作者：越川慎司 出版社：悅知文化 出版日期：2026-04-01 $ 300 |  | 出版社：慕客館文化事業有限公司 出版日期：2026-09-04 $ 540 | |
|
|
| | 作者：夏原サイケ 出版社：青文出版社股份有限公司 出版日期：2026-04-30 $ 110 |  | 作者：林嘉瑗、愛播聽書FM 出版社：聲朗資訊 出版日期：2026-04-22 $ 120 |  | 作者：劉博仁 出版社：天下生活股份有限公司 出版日期：2026-03-25 $ 379 | | | 作者：幾田むぎ 出版社：青文出版社股份有限公司 出版日期：2026-04-30 $ 110 | |
|
|
|
|
|
|
博客來