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