《微處理器設計:架構、電路及實現》介紹並分析微處理器的系統架構、電路設計、物理實現等各方面的關鍵技術,兼具廣度和深度,實現微處理器設計所需知識的縱向整合和融會貫通。 《微處理器設計:架構、電...more
結合“潛龍”系列深海自主水下機器人,深入淺出、圖文並茂、系統全面地介紹了自主水下機器人的相關理論、技術、方法和應用,主要包括自主水下機器人的發展歷史和現狀、總體技術、結構、能源與推進、電氣控制...more
本卷收錄了吳文俊的《幾何定理機器證明的基本原理》一書。《吳文俊全集·數學機械化卷IV》論述初等幾何機器證明的基本原理,證明瞭奠基於各種公理系統的各種初等幾何,只需相當於乘法交換律的某一公理成立...more
本卷收錄了吳文俊的Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynom......more
本卷收錄了吳文俊的Mechanical Theorem Provingin Geometries:Basic Principles一書。《吳文俊全集·數學機械化II》論述初等幾何機器證明的基本原理,證明了奠基於各種公理系統的各種初等幾何,只......more
本卷收錄了吳文俊在數學機械化領域發表的46篇論文,內容包括:幾何定理機器證明的吳方法、多項式系統符號求解的Ritt-吳特徵列方法、構造性微分代數幾何理論、不等式機器證明與優化問題的有限核定理等數學...more
本卷收錄了吳文俊的《數學機械化》一書。《吳文俊全集·數學機械化卷III》是圍繞作者命名的“數學機械化”這一中心議題而陸續發表的一系列論文的綜述。《吳文俊全集·數學機械化卷III》試圖以構造性與演算法化...more
《胃腸外科手術要點難點及對策》系《協和手術要點難點及對策叢書》之一,《胃腸外科手術要點難點及對策》共9篇34章。內容包括胃腸外科各主要手術,基本按照適應證、禁忌證、術前準備、手術要點難點及對策...more
《本草綱目》是中國醫藥寶庫中的一份珍貴遺產,是對16世紀以前中醫藥學的系統總結,全書52卷,載藥1892種,方一萬餘首,插圖一千多幅,為明代萬曆以前本草集大成之作。該書還流傳海外,對世界藥物學、植物...more
《本草綱目》是中國醫藥寶庫中的一份珍貴遺產,是對16世紀以前中醫藥學的系統總結,全書52卷,載藥1892種,方一萬餘首,插圖一千多幅,為明代萬曆以前本草集大成之作。 該書還流傳海外,對世界藥物學、植...more
《本草綱目》是中國醫藥寶庫中的一份珍貴遺產,是對16世紀以前中醫藥學的系統總結,全書52卷,載藥1892種,方一萬餘首,插圖一千多幅,為明代萬曆以前本草集大成之作。該書還流傳海外,對世界藥物學、植物...more
《本草綱目》是中國醫藥寶庫中的一份珍貴遺產,是對16世紀以前中醫藥學的系統總結,全書52卷,載藥1892種,方一萬餘首,插圖一千多幅,為明代萬曆以前本草集大成之作。該書還流傳海外,對世界藥物學、植物...more
《本草綱目》是中國醫藥寶庫中的一份珍貴遺產,是對16世紀以前中醫藥學的系統總結,全書52卷,載藥1892種,方一萬餘首,插圖一千多幅,為明代萬曆以前本草集大成之作。該書還流傳海外,對世界藥物學、植物...more
是“本草綱目研究集成”叢書之一。書名中的“圖考”,乃是“考圖”之意,將《本草綱目》“一祖三系”之金陵本、江西本、錢(蔚起)本及張(紹棠)本這四大系統藥圖進行逐一比較,考釋各版本《綱目》藥圖存在的異同及與...more