[德]邁克爾·休斯,[英]馬克·萊恩…
本書對計算機科學方面的數(shù)理邏輯進行了綜合介紹,涵蓋命題邏輯、謂詞邏輯、?!?/p>
可購
于洪宇,王美玉,譚飛虎
5G的蓬勃發(fā)展推動了電子封裝技術的革新,低溫共燒陶瓷系統(tǒng)級封裝(LTCC-SiP)…
可購
(美)斯圖爾特·薩瑟蘭(Stuart Suth…
《使用System Verilog進行RTL建模——基于System Verilog…
可購
譚征宇、戴寧一 著
《智能網(wǎng)聯(lián)汽車人機交互設計》專注于智能網(wǎng)聯(lián)汽車發(fā)展的核心領域—…
可購
周濤 主編 呂姣、葉姿 副主編
本書從實際應用出發(fā),全面系統(tǒng)地介紹Creo軟件在機械設計及產(chǎn)品設計方面的實際…
可購