有 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-18
語言：英文 規格：精裝 / 184頁 / 23.5 x 19.05 x 1.27 cm / 普通級/ 初版
| 圖書介紹 - 資料來源：博客來 目前評分： 評分：
圖書名稱：Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
詳細資料
- ISBN：9798400708657
- 規格：精裝 / 184頁 / 23.5 x 19.05 x 1.27 cm / 普通級 / 初版
- 出版地：美國
|
|
|
|
|
 | 作者：戴晨志 出版社：時報文化出版企業股份有限公司 出版日期：2024-08-06 66折： $ 251 |  | 作者：唐孟若影 出版社：東佑文化事業有限公司 出版日期：2016-10-28 66折： $ 165 |  | 作者：莫言殤 出版社：東佑文化事業有限公司 出版日期：2016-12-14 66折： $ 165 |  | 作者：王靜如 出版社：東佑文化事業有限公司 出版日期：2008-10-24 66折： $ 172 | |
|
|
 | 作者：妮可．維諾拉 出版社：麥田 出版日期：2024-06-01 $ 331 |  | 作者：入間人間 出版社：台灣角川股份有限公司 出版日期：2026-04-23 $ 111 |  | 作者：ひなこ 出版社：青文出版社股份有限公司 出版日期：2026-04-30 $ 110 | | | 作者：幾田むぎ 出版社：青文出版社股份有限公司 出版日期：2026-04-30 $ 110 | |
|
|
 | 作者：伍佰 出版社：二十張出版 出版日期：2026-04-22 $ 500 |  | 作者：小海太郎 出版社：未來數位有限公司 出版日期：2026-05-01 $ 142 |  | 作者：じんにくれーちぇ 出版社：長鴻出版社(漫畫) 出版日期：2026-04-29 $ 105 | | | 作者：ゆくえ萌葱 出版社：青文出版社股份有限公司 出版日期：2026-04-30 $ 110 | |
|
|
|
|
|
|
博客來