[德]邁克爾·休斯,[英]馬克·萊恩…
本書對計算機科學方面的數(shù)理邏輯進行了綜合介紹,涵蓋命題邏輯、謂詞邏輯、?!?/p>
可購
于洪宇,王美玉,譚飛虎
5G的蓬勃發(fā)展推動了電子封裝技術(shù)的革新,低溫共燒陶瓷系統(tǒng)級封裝(LTCC-SiP)…
可購
王媛?,張錦南,林福良
本書從原理、技術(shù)和應用層面解密區(qū)塊鏈技術(shù),涵蓋基礎概念、架構(gòu)、區(qū)塊鏈與信…
可購
譚征宇、戴寧一 著
《智能網(wǎng)聯(lián)汽車人機交互設計》專注于智能網(wǎng)聯(lián)汽車發(fā)展的核心領域—…
可購
[美]莎拉·L. 哈里斯 [美]戴維·…
繼MIPS版和ARM版之后,本書與時俱進地推出了RISC-V版,將其作為核心處理器來…
可購
[美]肯尼思· H.羅森
本書以經(jīng)典理論與現(xiàn)代應用相結(jié)合的方式介紹了初等數(shù)論的基本概念和方法,內(nèi)容…
可購
韓青 著
多機器人協(xié)作技術(shù)是多機器人協(xié)同完成復雜任務的關鍵技術(shù),是多機器人系統(tǒng)研究…
可購
彭智勇,王黎維
對象代理數(shù)據(jù)庫系統(tǒng)既具有關系數(shù)據(jù)庫的靈活性,又具有面向?qū)ο髷?shù)據(jù)庫表現(xiàn)復雜…
可購
畢欣
面向下一代機器人與自主無人系統(tǒng)的發(fā)展需求,項目重點研究解決非結(jié)構(gòu)性和多態(tài)…
可購
陳繼文、楊蕊、楊紅娟 等 編著
本書系統(tǒng)地介紹了機器人集成與應用技術(shù)的基礎知識和工作原理,以及設計與應用…
可購