[德]邁克爾·休斯,[英]馬克·萊恩…
本書對計算機(jī)科學(xué)方面的數(shù)理邏輯進(jìn)行了綜合介紹，涵蓋命題邏輯、謂詞邏輯、?！?/p>
可購
于洪宇,王美玉,譚飛虎
5G的蓬勃發(fā)展推動了電子封裝技術(shù)的革新，低溫共燒陶瓷系統(tǒng)級封裝（LTCC-SiP）…
可購
（美）斯圖爾特·薩瑟蘭（Stuart Suth…
《使用System Verilog進(jìn)行RTL建模——基于System Verilog…
可購
盧洋、鄭巖 編著
本書系統(tǒng)全面地介紹了云計算和容器技術(shù)的原理、架構(gòu)和應(yīng)用。內(nèi)容主要包括云計…
可購
譚征宇、戴寧一 著
《智能網(wǎng)聯(lián)汽車人機(jī)交互設(shè)計》專注于智能網(wǎng)聯(lián)汽車發(fā)展的核心領(lǐng)域—…
可購
[美]彼得·林茨 ,[美]蘇珊·H.…
本書是理論計算機(jī)科學(xué)方面的經(jīng)典教材，主要討論形式語言與自動機(jī)理論、可計算…
可購
許志強(qiáng)
《數(shù)智時代大學(xué)生數(shù)字素養(yǎng)培育研究》以數(shù)智時代為背景，以我國普通髙等學(xué)校本…
可購
[美]布魯斯·E.漢森
本書是以作者多年的概率與統(tǒng)計講義為藍(lán)本擴(kuò)充而成，目前也是威斯康星大學(xué)的經(jīng)…
可購
韓青 著
多機(jī)器人協(xié)作技術(shù)是多機(jī)器人協(xié)同完成復(fù)雜任務(wù)的關(guān)鍵技術(shù)，是多機(jī)器人系統(tǒng)研究…
可購
[美]肯尼思· H.羅森
本書以經(jīng)典理論與現(xiàn)代應(yīng)用相結(jié)合的方式介紹了初等數(shù)論的基本概念和方法，內(nèi)容…
可購
郁文生
數(shù)系的擴(kuò)充始終貫穿于數(shù)學(xué)理論的發(fā)展之中.本書利用交互式定理證明工具Coq， …
可購
劉陶唐 著
本書研究新時期云計算技術(shù)與物聯(lián)網(wǎng)技術(shù)的發(fā)展， 在闡述云計算的基礎(chǔ)知識后，…
可購
李晉,孟凡利,苑振宇
本書從微納光纖的特性出發(fā)，對近年微納光纖傳感技術(shù)領(lǐng)域的相關(guān)工作和研究進(jìn)展…
可購
周濤 主編 呂姣、葉姿 副主編
本書從實際應(yīng)用出發(fā)，全面系統(tǒng)地介紹Creo軟件在機(jī)械設(shè)計及產(chǎn)品設(shè)計方面的實際…
可購
卿文龍
《Verilog數(shù)字設(shè)計原理》涵蓋與Verilog數(shù)字設(shè)計相關(guān)的基礎(chǔ)知識和深入主題，全…
可購
陳繼文、楊蕊、楊紅娟 等 編著
本書系統(tǒng)地介紹了機(jī)器人集成與應(yīng)用技術(shù)的基礎(chǔ)知識和工作原理，以及設(shè)計與應(yīng)用…
可購
[美]約翰·B.弗雷利 ,[美]尼爾·布…
本書延續(xù)前幾版的目標(biāo)，涵蓋抽象代數(shù)導(dǎo)論課程需要了解的所有主題。新合著者尼…
可購
鄂公網(wǎng)安備 42010302001612號 