[德]邁克爾·休斯,[英]馬克·萊恩…
本書對計(jì)算機(jī)科學(xué)方面的數(shù)理邏輯進(jìn)行了綜合介紹,涵蓋命題邏輯、謂詞邏輯、模…
可購
于洪宇,王美玉,譚飛虎
5G的蓬勃發(fā)展推動了電子封裝技術(shù)的革新,低溫共燒陶瓷系統(tǒng)級封裝(LTCC-SiP)…
可購
盧洋、鄭巖 編著
本書系統(tǒng)全面地介紹了云計(jì)算和容器技術(shù)的原理、架構(gòu)和應(yīng)用。內(nèi)容主要包括云計(jì)…
可購
王媛?,張錦南,林福良
本書從原理、技術(shù)和應(yīng)用層面解密區(qū)塊鏈技術(shù),涵蓋基礎(chǔ)概念、架構(gòu)、區(qū)塊鏈與信…
可購
譚征宇、戴寧一 著
《智能網(wǎng)聯(lián)汽車人機(jī)交互設(shè)計(jì)》專注于智能網(wǎng)聯(lián)汽車發(fā)展的核心領(lǐng)域—…
可購
[美]莎拉·L. 哈里斯 [美]戴維·…
繼MIPS版和ARM版之后,本書與時(shí)俱進(jìn)地推出了RISC-V版,將其作為核心處理器來…
可購
馬彬等
《計(jì)算機(jī)科學(xué)導(dǎo)論——計(jì)算思維視角》以擴(kuò)展的計(jì)算思維為主線,融入課程思政,…
可購
張彥山 李玲玲
分?jǐn)?shù)階微積分研究的是非整數(shù)階的微分和積分,可實(shí)現(xiàn)的階數(shù)靈活且自由度大,所…
可購
[美] 克里斯蒂·威爾遜(Christie Wil…
請讓你的代碼庫隨時(shí)保持可發(fā)布狀態(tài)。持續(xù)交付流水線可以實(shí)現(xiàn)自動化版本控制、…
可購
[美]彼得·林茨 ,[美]蘇珊·H.…
本書是理論計(jì)算機(jī)科學(xué)方面的經(jīng)典教材,主要討論形式語言與自動機(jī)理論、可計(jì)算…
可購
[美]肯尼思· H.羅森
本書以經(jīng)典理論與現(xiàn)代應(yīng)用相結(jié)合的方式介紹了初等數(shù)論的基本概念和方法,內(nèi)容…
可購
姚毓林
本書作者的教育和工作經(jīng)歷橫跨信息技術(shù)和金融管理領(lǐng)域。本書選取作者在1989&…
可購
許志強(qiáng)
《數(shù)智時(shí)代大學(xué)生數(shù)字素養(yǎng)培育研究》以數(shù)智時(shí)代為背景,以我國普通髙等學(xué)校本…
可購
[美]布魯斯·E.漢森
本書是以作者多年的概率與統(tǒng)計(jì)講義為藍(lán)本擴(kuò)充而成,目前也是威斯康星大學(xué)的經(jīng)…
可購
李欣
本書是一部系統(tǒng)探討邊緣計(jì)算與云計(jì)算協(xié)同機(jī)制的理論與實(shí)踐的專著。隨著大數(shù)據(jù)…
可購
韓青 著
多機(jī)器人協(xié)作技術(shù)是多機(jī)器人協(xié)同完成復(fù)雜任務(wù)的關(guān)鍵技術(shù),是多機(jī)器人系統(tǒng)研究…
可購
(印)瓦伊巴夫·塔拉特
《高級HDL綜合和SoC原型設(shè)計(jì)》通過實(shí)際案例介紹高級HDL綜合與SoC原型設(shè)計(jì),提…
可購
[美]約翰·B.弗雷利 ,[美]尼爾·布…
本書延續(xù)前幾版的目標(biāo),涵蓋抽象代數(shù)導(dǎo)論課程需要了解的所有主題。新合著者尼…
可購
陳志輝主編.
本書是《計(jì)算機(jī)應(yīng)用基礎(chǔ)》配套的學(xué)習(xí)指導(dǎo)教材。首先,書中梳理了教材《計(jì)算機(jī)…
可購
彭智勇,王黎維
對象代理數(shù)據(jù)庫系統(tǒng)既具有關(guān)系數(shù)據(jù)庫的靈活性,又具有面向?qū)ο髷?shù)據(jù)庫表現(xiàn)復(fù)雜…
可購
畢欣
面向下一代機(jī)器人與自主無人系統(tǒng)的發(fā)展需求,項(xiàng)目重點(diǎn)研究解決非結(jié)構(gòu)性和多態(tài)…
可購
陳繼文、楊蕊、楊紅娟 等 編著
本書系統(tǒng)地介紹了機(jī)器人集成與應(yīng)用技術(shù)的基礎(chǔ)知識和工作原理,以及設(shè)計(jì)與應(yīng)用…
可購