[德]邁克爾·休斯,[英]馬克·萊恩…
本書對計算機科學方面的數(shù)理邏輯進行了綜合介紹，涵蓋命題邏輯、謂詞邏輯、?！?/p>
可購
《雙碳智慧園區(qū)規(guī)劃與電氣設(shè)計導則》編委會…
團體標準《雙碳智慧園區(qū)規(guī)劃與電氣設(shè)計導則》，本著“替碳、減碳、…
可購
中國工程院戰(zhàn)略咨詢中心,中國巖石力學與工…
習近平總書記在河北雄安新區(qū)考察并主持召開高標準高質(zhì)量推進雄安新區(qū)建設(shè)座談…
可購
于洪宇,王美玉,譚飛虎
5G的蓬勃發(fā)展推動了電子封裝技術(shù)的革新，低溫共燒陶瓷系統(tǒng)級封裝（LTCC-SiP）…
可購
彭翀等
城市群韌性是推動區(qū)域高質(zhì)量發(fā)展的重要內(nèi)容?！冻鞘信c區(qū)域韌性. 邁向高質(zhì)量的…
可購
葛家琪
《基于穩(wěn)定性能的預應力鋼結(jié)構(gòu)設(shè)計》是以預應力鋼結(jié)構(gòu)穩(wěn)定性能為主要內(nèi)容的工…
可購
彭翀等
《城市與區(qū)域韌性 構(gòu)建網(wǎng)絡(luò)化的韌性都市圈》*先對都市圈韌性網(wǎng)絡(luò)的科學內(nèi)涵進…
可購
譚征宇、戴寧一 著
《智能網(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…
可購
鄂公網(wǎng)安備 42010302001612號 