[德]邁克爾·休斯,[英]馬克·萊恩…
本書對計算機科學(xué)方面的數(shù)理邏輯進行了綜合介紹，涵蓋命題邏輯、謂詞邏輯、?！?/p>
可購
《雙碳智慧園區(qū)規(guī)劃與電氣設(shè)計導(dǎo)則》編委會…
團體標準《雙碳智慧園區(qū)規(guī)劃與電氣設(shè)計導(dǎo)則》，本著“替碳、減碳、…
可購
中國工程院戰(zhàn)略咨詢中心,中國巖石力學(xué)與工…
習(xí)近平總書記在河北雄安新區(qū)考察并主持召開高標準高質(zhì)量推進雄安新區(qū)建設(shè)座談…
可購
于洪宇,王美玉,譚飛虎
5G的蓬勃發(fā)展推動了電子封裝技術(shù)的革新，低溫共燒陶瓷系統(tǒng)級封裝（LTCC-SiP）…
可購
彭翀等
城市群韌性是推動區(qū)域高質(zhì)量發(fā)展的重要內(nèi)容?！冻鞘信c區(qū)域韌性. 邁向高質(zhì)量的…
可購
葛家琪
《基于穩(wěn)定性能的預(yù)應(yīng)力鋼結(jié)構(gòu)設(shè)計》是以預(yù)應(yīng)力鋼結(jié)構(gòu)穩(wěn)定性能為主要內(nèi)容的工…
可購
王衛(wèi)永
第一章 緒論 1.1 火災(zāi)對建筑物的危害 1.2 結(jié)構(gòu)抗火設(shè)計的目的和意義 第二章 …
可購
彭翀等
《城市與區(qū)域韌性 構(gòu)建網(wǎng)絡(luò)化的韌性都市圈》*先對都市圈韌性網(wǎng)絡(luò)的科學(xué)內(nèi)涵進…
可購
盧洋、鄭巖 編著
本書系統(tǒng)全面地介紹了云計算和容器技術(shù)的原理、架構(gòu)和應(yīng)用。內(nèi)容主要包括云計…
可購
高子坤 著
巖土工程作為土木工程領(lǐng)域的重要二級學(xué)科，在工程建設(shè)中發(fā)揮著至關(guān)重要的作用…
可購
譚征宇、戴寧一 著
《智能網(wǎng)聯(lián)汽車人機交互設(shè)計》專注于智能網(wǎng)聯(lián)汽車發(fā)展的核心領(lǐng)域—…
可購
[美]莎拉·L. 哈里斯 [美]戴維·…
繼MIPS版和ARM版之后，本書與時俱進地推出了RISC-V版，將其作為核心處理器來…
可購
國家林業(yè)和草原局林草調(diào)查規(guī)劃院
為促進在保護網(wǎng)絡(luò)下的經(jīng)驗交流與分享，紅樹林基金會（MCF）開展了中國濕地教…
可購
（美）斯圖爾特·薩瑟蘭（Stuart Suth…
《使用System Verilog進行RTL建模——基于System Verilog…
可購
張以河 呂鳳柱 劉曉明 張娜 王新珂
本書以本團隊多年來的研究成果為主，在系統(tǒng)總結(jié)凝練研究工作的基礎(chǔ)上，參考國…
可購
鄂公網(wǎng)安備 42010302001612號 