Xu,Chonghai,Xiao,Guangchun,Zhang ..…
《先進陶瓷模具:設計、制造與性能(英文版)》是作者結(jié)合多年從事陶瓷模具研…
可購
(美)Edmund M. Clarke Jr.(E. M. 克拉克…
模型檢測是一種用于自動驗證有限狀態(tài)并發(fā)系統(tǒng)的技術(shù),與基于模擬、測試和演繹…
可購
非金屬礦物材料與高新技術(shù)和新材料產(chǎn)業(yè)、傳統(tǒng)產(chǎn)業(yè)升級以及生態(tài)環(huán)保等產(chǎn)業(yè)密切…
可購