(美)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è)密切…
可購
洪慎章 著
本書系統(tǒng)地介紹了沖模的設(shè)計與制造技術(shù)。全書內(nèi)容包括:沖模設(shè)計基礎(chǔ)、沖裁?!?/p>
可購
Xu,Chonghai,Xiao,Guangchun,Zhang ..…
《先進陶瓷模具:設(shè)計、制造與性能(英文版)》是作者結(jié)合多年從事陶瓷模具研…
可購