《微處理器設計:架構、電路及實現》介紹並分析微處理器的系統架構、電路設計、物理實現等各方面的關鍵技術,兼具廣度和深度,實現微處理器設計所需知識的縱向整合和融會貫通。 《微處理器設計:架構、電...more
結合“潛龍”系列深海自主水下機器人,深入淺出、圖文並茂、系統全面地介紹了自主水下機器人的相關理論、技術、方法和應用,主要包括自主水下機器人的發展歷史和現狀、總體技術、結構、能源與推進、電氣控制...more
本卷收錄了吳文俊的《幾何定理機器證明的基本原理》一書。《吳文俊全集·數學機械化卷IV》論述初等幾何機器證明的基本原理,證明瞭奠基於各種公理系統的各種初等幾何,只需相當於乘法交換律的某一公理成立...more