TOP
0
0
【簡體曬書節】 單本79折,5本7折,優惠只到5/31,點擊此處看更多!
提醒您!您有折價券未完成領取,請盡速登入以保存至您的帳號。

縮小範圍


商品類型

簡體書 (7)
商品狀況

可訂購商品 (7)
庫存狀況

無庫存 (7)
商品定價

$199以下 (2)
$200~$399 (3)
$400~$599 (1)
$600~$799 (1)
出版日期

2022~2023 (2)
2018~2019 (1)
2016年以前 (4)
裝訂方式

平裝 (7)
作者

何炎祥 (3)
何炎祥、伍春香、王漢飛 (1)
何炎祥、吳偉 (1)
何炎祥、江南 (1)
何炎祥、陳勇 (1)
出版社/品牌

科學出版社 (4)
華中科技大學出版社 (2)
機械工業出版社 (1)

三民網路書店 / 搜尋結果

7筆商品,1/1頁
編譯原理(第三版)(簡體書)
滿額折
作者:何炎祥  出版社:華中科技大學出版社  出版日:2010/08/19 裝訂:平裝
本書主要介紹設計和構造編譯程序的基本原理和方法,內容包括適應高級程序設計語言翻譯的形式語言理論和自動機理論、常用的詞法分析方法、各種經典的語法分析技術、語法制導翻譯方法、存儲組織與管理方法、造查表方法、代碼優化和代碼生成方法、編譯自動化和並行編譯程序,以及詞法分析器生成工具LEX和語法分析器生成工具YACC等。本書特別注重理論與實踐的溝通,基本概念清晰,循序漸進,深入淺出。各章附有難度不一的習題。
定價:167 元, 優惠價:87 145
海外經銷商無庫存,到貨日平均30天至45天
面向片上緩存子系統的功耗優化方法(簡體書)
滿額折
作者:何炎祥  出版社:科學出版社  出版日:2019/02/19 裝訂:平裝
本書全面地介紹緩存優化方法及其關鍵技術,從存儲體系結構的角度出發,解決緩存的靜態功耗和動態功耗問題,從而保證系統整體功耗的降低。同時,本書還重點闡述新型非易失性存儲技術在架構緩存中的應用與實踐。
定價:570 元, 優惠價:87 496
海外經銷商無庫存,到貨日平均30天至45天
編譯原理(簡體書)
滿額折
作者:何炎祥  出版社:華中科技大學出版社  出版日:2023/10/01 裝訂:平裝
教材,《編譯原理(第四版)》主要介紹設計和構造編譯程序的基本原理和方法.內容包括適應高級程序設計語言翻譯的形式語言理論和自動機理論、常用的詞法分析方法、各種經典的語法分析技術、語法制導翻譯方法、存儲組織與管理方法、造查表方法、代碼優化和代碼生成方法、編譯自動化和並行編譯程序,以及詞法分析器生成工具LEX和語法分析器生成工具YACC等。本書特別注重理論與實踐的溝通,基本概念清晰,循序漸進,深入淺出。各章附有難度不一的習題。本書可作為高等院校計算機專業的教材,也可供相關教師、研究生和科技工作者學習和參考。
定價:299 元, 優惠價:87 260
海外經銷商無庫存,到貨日平均30天至45天
可信編譯構造理論與關鍵技術(簡體書)
滿額折
作者:何炎祥; 吳偉  出版社:科學出版社  出版日:2013/03/01 裝訂:平裝
編譯器是重要的系統軟件,除了編譯功能,在許多領域都有應用,如綠色計算、嵌入式系統優化、代碼分析與驗證、可信計算、軟件測試等。編譯器是否可信直接影響著整個計算機系統的可信性,因此編譯器的可信性一直受到人們的廣泛關注和深切重視。《信息科學技術學術著作叢書:可信編譯構造理論與關鍵技術》全面系統地介紹了可信編譯理論及其關鍵技術,從保證編譯器自身可信性和編譯對象可信性兩個方面進行了詳細闡述。同時,《信息科學
定價:360 元, 優惠價:87 313
海外經銷商無庫存,到貨日平均30天至45天
面向嵌入式系統的綠色編譯理論與方法研究(簡體書)
滿額折
作者:何炎祥; 陳勇  出版社:科學出版社  出版日:2014/05/01 裝訂:平裝
編譯器作為軟體發展和構建的重要工具,在進行系統化、結構化的優化方面具有無可比擬的優勢。隨著嵌入式系統的廣泛普及和應用,其綠色指標的好壞受到了人們的廣泛關注。而嵌入式系統是軟硬體的結合體,其綠色指標顯著受其硬體工藝和技術的制約。本書從能耗以及資源的均衡使用度這兩個影響嵌入式系統綠色指標的主要方面出發,系統而全面的介紹了綠色編譯優化理論及其關鍵技術在嵌入式系統中的應用。其主要內容包括綠色編譯器定義、綠
定價:390 元, 優惠價:87 339
海外經銷商無庫存,到貨日平均30天至45天
高級語言程序變換的機械化證明導論(簡體書)
滿額折
作者:何炎祥; 江南  出版社:科學出版社  出版日:2022/10/01 裝訂:平裝
該書首先闡述了與高級語言程序變換的機械化證明緊密相關的概念和理論,主流或具有持續影響力的技術,詳細剖析了一階邏輯和基於消解的證明技術、自然演繹和類型化的λ演算、三種編程邏輯、基於高階邏輯的硬件驗證技術、程序構造和求精技術之間的聯繫和發展變遷,其中,三種編程邏輯包括一階編程邏輯及變體、Floyd-Hoare邏輯和可計算函數邏輯。然後分析比較了用於機械化證明的主流工具特點、開發和實現技術,並概述了機械化定理證明在數學和計算機領域、編譯器驗證、操作系統微內核驗證等方面的應用現狀。接下來針對高級語言程序變換的機械化證明,闡述了如何對程序變換前後的語義等同正確性進行規範,並得到證明,從而獲得一個驗證編譯器。並進一步針對多遍變換的驗證編譯器,分別從常量傳播、公共子表達式消除、活性分析和圖著色等傳統優化變換的機械化證明進行了分析討論和相應的實現。最後對高級語言程序變換的機械化證明進行了總結和展望。
定價:720 元, 優惠價:87 626
海外經銷商無庫存,到貨日平均30天至45天
編譯原理(簡體書)
滿額折
作者:何炎祥; 伍春香; 王漢飛  出版社:機械工業出版社  出版日:2010/04/01 裝訂:平裝
本書主要介紹設計和構造編譯程序的基本原理和方法,內容包括適合于計算機高級程序設計語言翻譯的形式語言和自動機理論、常用的詞法分析方法、各種經典的語法分析方法、語法制導翻譯方法、存儲器的組織與管理方法、符號表的組織與造查表方法、代碼優化和代碼生成方法、並行編譯程序及編譯自動化技術等。本書特別注重理論與實踐、原理與方法的互通,而且基本概念清晰,深入淺出,循序漸進,系統性強。各章之后還附有難度不一的習題供
定價:168 元, 優惠價:1 168
海外經銷商無庫存,到貨日平均30天至45天

暢銷榜

客服中心

收藏

會員專區