語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
語系
英文
(1)
跳至 :
概要
|
書目資訊
|
主題
Isac, Omri.
概要
作品:
1 作品在 1 項出版品 1 種語言
書目資訊
Software verification and formal methods for ML-enabled autonomous systems5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022 : proceedings /
by: (1998 :); Isac, Omri.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Computer software
Formal methods (Computer science)
Machine learning
處理中
...
變更密碼
登入
