[德]邁克爾·休斯,[英]馬克·萊恩…
本書對(duì)計(jì)算機(jī)科學(xué)方面的數(shù)理邏輯進(jìn)行了綜合介紹,涵蓋命題邏輯、謂詞邏輯、?!?/p>
可購(gòu)
于洪宇,王美玉,譚飛虎
5G的蓬勃發(fā)展推動(dòng)了電子封裝技術(shù)的革新,低溫共燒陶瓷系統(tǒng)級(jí)封裝(LTCC-SiP)…
可購(gòu)
岳振軍 等
本書秉持“學(xué)為中心”理念,用一個(gè)夢(mèng)游故事串聯(lián)了&ld…
可購(gòu)
邢玲
《冗余流量測(cè)量及特性分析》針對(duì)冗余流量導(dǎo)致的網(wǎng)絡(luò)服務(wù)質(zhì)量低效問(wèn)題,提出冗…
可購(gòu)
盧洋、鄭巖 編著
本書系統(tǒng)全面地介紹了云計(jì)算和容器技術(shù)的原理、架構(gòu)和應(yīng)用。內(nèi)容主要包括云計(jì)…
可購(gòu)
王媛?,張錦南,林福良
本書從原理、技術(shù)和應(yīng)用層面解密區(qū)塊鏈技術(shù),涵蓋基礎(chǔ)概念、架構(gòu)、區(qū)塊鏈與信…
可購(gòu)
譚征宇、戴寧一 著
《智能網(wǎng)聯(lián)汽車人機(jī)交互設(shè)計(jì)》專注于智能網(wǎng)聯(lián)汽車發(fā)展的核心領(lǐng)域—…
可購(gòu)
陳江
發(fā)明是發(fā)明人的一種思想結(jié)晶,這種思想結(jié)晶可以在實(shí)踐中解決技術(shù)領(lǐng)域里特有的…
可購(gòu)
[美]莎拉·L. 哈里斯 [美]戴維·…
繼MIPS版和ARM版之后,本書與時(shí)俱進(jìn)地推出了RISC-V版,將其作為核心處理器來(lái)…
可購(gòu)
馬彬等
《計(jì)算機(jī)科學(xué)導(dǎo)論——計(jì)算思維視角》以擴(kuò)展的計(jì)算思維為主線,融入課程思政,…
可購(gòu)
張彥山 李玲玲
分?jǐn)?shù)階微積分研究的是非整數(shù)階的微分和積分,可實(shí)現(xiàn)的階數(shù)靈活且自由度大,所…
可購(gòu)
[美] 克里斯蒂·威爾遜(Christie Wil…
請(qǐng)讓你的代碼庫(kù)隨時(shí)保持可發(fā)布狀態(tài)。持續(xù)交付流水線可以實(shí)現(xiàn)自動(dòng)化版本控制、…
可購(gòu)
[美]彼得·林茨 ,[美]蘇珊·H.…
本書是理論計(jì)算機(jī)科學(xué)方面的經(jīng)典教材,主要討論形式語(yǔ)言與自動(dòng)機(jī)理論、可計(jì)算…
可購(gòu)
[美]肯尼思· H.羅森
本書以經(jīng)典理論與現(xiàn)代應(yīng)用相結(jié)合的方式介紹了初等數(shù)論的基本概念和方法,內(nèi)容…
可購(gòu)
姚毓林
本書作者的教育和工作經(jīng)歷橫跨信息技術(shù)和金融管理領(lǐng)域。本書選取作者在1989&…
可購(gòu)
許志強(qiáng)
《數(shù)智時(shí)代大學(xué)生數(shù)字素養(yǎng)培育研究》以數(shù)智時(shí)代為背景,以我國(guó)普通髙等學(xué)校本…
可購(gòu)
[美]布魯斯·E.漢森
本書是以作者多年的概率與統(tǒng)計(jì)講義為藍(lán)本擴(kuò)充而成,目前也是威斯康星大學(xué)的經(jīng)…
可購(gòu)
李欣
本書是一部系統(tǒng)探討邊緣計(jì)算與云計(jì)算協(xié)同機(jī)制的理論與實(shí)踐的專著。隨著大數(shù)據(jù)…
可購(gòu)
韓青 著
多機(jī)器人協(xié)作技術(shù)是多機(jī)器人協(xié)同完成復(fù)雜任務(wù)的關(guān)鍵技術(shù),是多機(jī)器人系統(tǒng)研究…
可購(gòu)
李瀚
本書圍繞大模型的生產(chǎn)實(shí)施流程,系統(tǒng)介紹大模型的應(yīng)用實(shí)踐方法。第一部分系統(tǒng)…
可購(gòu)
(日) 櫻庭洋之,(日) 望月幸太郎
排查故障是困擾新手程序員的主要問(wèn)題之一?!缎⌒臎](méi)大錯(cuò)!新手程序員排錯(cuò)指南…
可購(gòu)
(?。┩咭涟头?#183;塔拉特
《高級(jí)HDL綜合和SoC原型設(shè)計(jì)》通過(guò)實(shí)際案例介紹高級(jí)HDL綜合與SoC原型設(shè)計(jì),提…
可購(gòu)
[美]約翰·B.弗雷利 ,[美]尼爾·布…
本書延續(xù)前幾版的目標(biāo),涵蓋抽象代數(shù)導(dǎo)論課程需要了解的所有主題。新合著者尼…
可購(gòu)
陳志輝主編.
本書是《計(jì)算機(jī)應(yīng)用基礎(chǔ)》配套的學(xué)習(xí)指導(dǎo)教材。首先,書中梳理了教材《計(jì)算機(jī)…
可購(gòu)
彭智勇,王黎維
對(duì)象代理數(shù)據(jù)庫(kù)系統(tǒng)既具有關(guān)系數(shù)據(jù)庫(kù)的靈活性,又具有面向?qū)ο髷?shù)據(jù)庫(kù)表現(xiàn)復(fù)雜…
可購(gòu)
馬瑞新 趙亮 原旭
本書依托華為軟件開(kāi)發(fā)云,從軟件全棧工程師的視角引入了DevOps實(shí)踐所需要的技…
可購(gòu)
張玉利
本書主要介紹不確定性環(huán)境下基于隨機(jī)參數(shù)矩信息的魯棒優(yōu)化方法,討論其模型構(gòu)…
可購(gòu)
畢欣
面向下一代機(jī)器人與自主無(wú)人系統(tǒng)的發(fā)展需求,項(xiàng)目重點(diǎn)研究解決非結(jié)構(gòu)性和多態(tài)…
可購(gòu)
李顥
本書主要講解計(jì)算機(jī)視覺(jué)的幾何基礎(chǔ)(核心數(shù)學(xué)基礎(chǔ)),包括圖像處理與模式識(shí)別…
可購(gòu)
陳繼文、楊蕊、楊紅娟 等 編著
本書系統(tǒng)地介紹了機(jī)器人集成與應(yīng)用技術(shù)的基礎(chǔ)知識(shí)和工作原理,以及設(shè)計(jì)與應(yīng)用…
可購(gòu)