[德]邁克爾·休斯,[英]馬克·萊恩…
本書對計算機(jī)科學(xué)方面的數(shù)理邏輯進(jìn)行了綜合介紹，涵蓋命題邏輯、謂詞邏輯、?！?/p>
可購
于洪宇,王美玉,譚飛虎
5G的蓬勃發(fā)展推動了電子封裝技術(shù)的革新，低溫共燒陶瓷系統(tǒng)級封裝（LTCC-SiP）…
可購
（美）斯圖爾特·薩瑟蘭（Stuart Suth…
《使用System Verilog進(jìn)行RTL建模——基于System Verilog…
可購
王媛?,張錦南,林福良
本書從原理、技術(shù)和應(yīng)用層面解密區(qū)塊鏈技術(shù)，涵蓋基礎(chǔ)概念、架構(gòu)、區(qū)塊鏈與信…
可購
[美]彼得·林茨 ,[美]蘇珊·H.…
本書是理論計算機(jī)科學(xué)方面的經(jīng)典教材，主要討論形式語言與自動機(jī)理論、可計算…
可購
[美]肯尼思· H.羅森
本書以經(jīng)典理論與現(xiàn)代應(yīng)用相結(jié)合的方式介紹了初等數(shù)論的基本概念和方法，內(nèi)容…
可購
[美]布魯斯·E.漢森
本書是以作者多年的概率與統(tǒng)計講義為藍(lán)本擴(kuò)充而成，目前也是威斯康星大學(xué)的經(jīng)…
可購
許志強(qiáng)
《數(shù)智時代大學(xué)生數(shù)字素養(yǎng)培育研究》以數(shù)智時代為背景，以我國普通髙等學(xué)校本…
可購
韓青 著
多機(jī)器人協(xié)作技術(shù)是多機(jī)器人協(xié)同完成復(fù)雜任務(wù)的關(guān)鍵技術(shù)，是多機(jī)器人系統(tǒng)研究…
可購
劉陶唐 著
本書研究新時期云計算技術(shù)與物聯(lián)網(wǎng)技術(shù)的發(fā)展， 在闡述云計算的基礎(chǔ)知識后，…
可購
胡學(xué)鋼 總主編；趙姝，陳潔 主編
本書是安徽省高等學(xué)校“十四五”省級規(guī)劃教材，從計算機(jī)的…
可購
陳繼文、楊蕊、楊紅娟 等 編著
本書系統(tǒng)地介紹了機(jī)器人集成與應(yīng)用技術(shù)的基礎(chǔ)知識和工作原理，以及設(shè)計與應(yīng)用…
可購
郁文生
數(shù)系的擴(kuò)充始終貫穿于數(shù)學(xué)理論的發(fā)展之中.本書利用交互式定理證明工具Coq， …
可購
卿文龍
《Verilog數(shù)字設(shè)計原理》涵蓋與Verilog數(shù)字設(shè)計相關(guān)的基礎(chǔ)知識和深入主題，全…
可購
李晉,孟凡利,苑振宇
本書從微納光纖的特性出發(fā)，對近年微納光纖傳感技術(shù)領(lǐng)域的相關(guān)工作和研究進(jìn)展…
可購
羅仕鑒,張德寅
隨著數(shù)字化、網(wǎng)絡(luò)化、智能化時代的到來，社會產(chǎn)業(yè)的創(chuàng)新邏輯迎來了重要變革，…
可購
鄂公網(wǎng)安備 42010302001612號 