[德]邁克爾·休斯,[英]馬克·萊恩…
本書對(duì)計(jì)算機(jī)科學(xué)方面的數(shù)理邏輯進(jìn)行了綜合介紹，涵蓋命題邏輯、謂詞邏輯、?！?/p>
可購(gòu)
《雙碳智慧園區(qū)規(guī)劃與電氣設(shè)計(jì)導(dǎo)則》編委會(huì)…
團(tuán)體標(biāo)準(zhǔn)《雙碳智慧園區(qū)規(guī)劃與電氣設(shè)計(jì)導(dǎo)則》，本著“替碳、減碳、…
可購(gòu)
曾勇,譚紅梅,周建庭
《大跨度橋梁施工風(fēng)險(xiǎn)評(píng)估及實(shí)例》運(yùn)用層次分析法等理論對(duì)大跨橋梁施工期的風(fēng)…
可購(gòu)
中國(guó)工程院戰(zhàn)略咨詢中心,中國(guó)巖石力學(xué)與工…
習(xí)近平總書記在河北雄安新區(qū)考察并主持召開高標(biāo)準(zhǔn)高質(zhì)量推進(jìn)雄安新區(qū)建設(shè)座談…
可購(gòu)
于洪宇,王美玉,譚飛虎
5G的蓬勃發(fā)展推動(dòng)了電子封裝技術(shù)的革新，低溫共燒陶瓷系統(tǒng)級(jí)封裝（LTCC-SiP）…
可購(gòu)
黃震
認(rèn)識(shí)和掌握復(fù)雜環(huán)境下工程圍巖損傷破壞行為和滲流演化規(guī)律對(duì)揭示塌方、大變形…
可購(gòu)
彭翀等
城市群韌性是推動(dòng)區(qū)域高質(zhì)量發(fā)展的重要內(nèi)容。《城市與區(qū)域韌性. 邁向高質(zhì)量的…
可購(gòu)
李曉琳 著
全書主要圍繞“雙碳”背景下民營(yíng)企業(yè)綠色治理的理論與實(shí)踐…
可購(gòu)
葛家琪
《基于穩(wěn)定性能的預(yù)應(yīng)力鋼結(jié)構(gòu)設(shè)計(jì)》是以預(yù)應(yīng)力鋼結(jié)構(gòu)穩(wěn)定性能為主要內(nèi)容的工…
可購(gòu)
王衛(wèi)永
第一章 緒論 1.1 火災(zāi)對(duì)建筑物的危害 1.2 結(jié)構(gòu)抗火設(shè)計(jì)的目的和意義 第二章 …
可購(gòu)
彭翀等
《城市與區(qū)域韌性 構(gòu)建網(wǎng)絡(luò)化的韌性都市圈》*先對(duì)都市圈韌性網(wǎng)絡(luò)的科學(xué)內(nèi)涵進(jìn)…
可購(gòu)
盧洋、鄭巖 編著
本書系統(tǒng)全面地介紹了云計(jì)算和容器技術(shù)的原理、架構(gòu)和應(yīng)用。內(nèi)容主要包括云計(jì)…
可購(gòu)
高子坤 著
巖土工程作為土木工程領(lǐng)域的重要二級(jí)學(xué)科，在工程建設(shè)中發(fā)揮著至關(guān)重要的作用…
可購(gòu)
陽鴻鈞 等 編著
本書采用圖解的方式詳細(xì)講解了測(cè)量放線與計(jì)算技能，突出實(shí)用，同時(shí)對(duì)接職場(chǎng)技…
可購(gòu)
黃家康
本書內(nèi)容分為上篇和下篇兩大部分。上篇是根據(jù)本人在我國(guó)模壓行業(yè)的工藝技術(shù)開…
可購(gòu)
譚征宇、戴寧一 著
《智能網(wǎng)聯(lián)汽車人機(jī)交互設(shè)計(jì)》專注于智能網(wǎng)聯(lián)汽車發(fā)展的核心領(lǐng)域—…
可購(gòu)
[美]莎拉·L. 哈里斯 [美]戴維·…
繼MIPS版和ARM版之后，本書與時(shí)俱進(jìn)地推出了RISC-V版，將其作為核心處理器來…
可購(gòu)
英國(guó)DK出版社
全書以世界產(chǎn)區(qū)分類，分別介紹了不同地區(qū)葡萄酒的特色，涵蓋知名酒廠和葡萄酒…
可購(gòu)
徐宗學(xué),初祁,程濤
《城市暴雨洪澇模擬與海綿城市減災(zāi)效果》以北京市和濟(jì)南市作為研究區(qū)，重點(diǎn)開…
可購(gòu)
[日]池田清彥 著；蘇凌峰 譯
進(jìn)化論以拉馬克、達(dá)爾文為先驅(qū)，認(rèn)為生物的多樣性來源于進(jìn)化。該學(xué)說從提出到…
可購(gòu)
國(guó)家林業(yè)和草原局林草調(diào)查規(guī)劃院
為促進(jìn)在保護(hù)網(wǎng)絡(luò)下的經(jīng)驗(yàn)交流與分享，紅樹林基金會(huì)（MCF）開展了中國(guó)濕地教…
可購(gòu)
彭翀等
隨著氣候變化和人類活動(dòng)加劇，城市空間面臨風(fēng)險(xiǎn)的不確定性和復(fù)雜性與日俱增?！?/p>
可購(gòu)
（美）斯圖爾特·薩瑟蘭（Stuart Suth…
《使用System Verilog進(jìn)行RTL建模——基于System Verilog…
可購(gòu)
劉現(xiàn)合
《美國(guó)海洋荒野：二十世紀(jì)探索的文化歷史》將美國(guó)荒野的陸上概念推進(jìn)到海洋，…
可購(gòu)
張以河 呂鳳柱 劉曉明 張娜 王新珂
本書以本團(tuán)隊(duì)多年來的研究成果為主，在系統(tǒng)總結(jié)凝練研究工作的基礎(chǔ)上，參考國(guó)…
可購(gòu)
楊瑞剛 黃錦龍 黃雪奎 楊志剛
生物入侵問題已引起了我國(guó)相關(guān)部門的高度重視，如何做好預(yù)防工作以及盡快解決…
可購(gòu)
鄂公網(wǎng)安備 42010302001612號(hào) 