[德]邁克爾·休斯,[英]馬克·萊恩…
本書對計算機科學方面的數(shù)理邏輯進行了綜合介紹,涵蓋命題邏輯、謂詞邏輯、模…
可購
于洪宇,王美玉,譚飛虎
5G的蓬勃發(fā)展推動了電子封裝技術(shù)的革新,低溫共燒陶瓷系統(tǒng)級封裝(LTCC-SiP)…
可購
(美)斯圖爾特·薩瑟蘭(Stuart Suth…
《使用System Verilog進行RTL建模——基于System Verilog…
可購
譚征宇、戴寧一 著
《智能網(wǎng)聯(lián)汽車人機交互設計》專注于智能網(wǎng)聯(lián)汽車發(fā)展的核心領域—…
可購
韓青 著
多機器人協(xié)作技術(shù)是多機器人協(xié)同完成復雜任務的關(guān)鍵技術(shù),是多機器人系統(tǒng)研究…
可購
[美]肯尼思· H.羅森
本書以經(jīng)典理論與現(xiàn)代應用相結(jié)合的方式介紹了初等數(shù)論的基本概念和方法,內(nèi)容…
可購
劉陶唐 著
本書研究新時期云計算技術(shù)與物聯(lián)網(wǎng)技術(shù)的發(fā)展, 在闡述云計算的基礎知識后,…
可購
周濤 主編 呂姣、葉姿 副主編
本書從實際應用出發(fā),全面系統(tǒng)地介紹Creo軟件在機械設計及產(chǎn)品設計方面的實際…
可購
陳繼文、楊蕊、楊紅娟 等 編著
本書系統(tǒng)地介紹了機器人集成與應用技術(shù)的基礎知識和工作原理,以及設計與應用…
可購