登入帳戶　 |　訂單查詢　 |　購物車/收銀台( 0 )　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
	全部範圍 　- 大陸書（簡體） - 　- 台灣書（繁體） - 　- 英文書（原版） - 　- 音像 - 　- 雜誌 - 全文 精確	會員登入 新用戶登記

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

在 大書城 以“ 全文 模式”搜“ 何炎祥，沈凡凡 ”共有 7 结果：

同時支援繁體 / 正體 / 简体字輸入搜索

	编译原理（第三版）何炎祥 『简体书』 作者：何炎祥　　出版：华中科技大学出版社　　日期：2018-08-01 本书主要介绍设计和构造编译程序的基本原理和方法．内容包括适应高级程序设计语言翻译的形式语言理论和自动机理论、常用的词法分析方法、各种经典的语法分析技术、语法制导翻译方法、存储组织与管理方法、造查表方法、代码优化和代码生成方法、编译自动化和并 ...	詳情>>	售價：HK$ 60.0

	编译原理（第四版） 『简体书』 作者：何炎祥　　出版：华中科技大学出版社　　日期：2023-11-01 本书为普通高等教育“十一五”*规划教材、*精品课程教材、*一流本科课程配套教材。 ...	詳情>>	售價：HK$ 60.3

	高级语言程序变换的机械化证明导论 『简体书』 作者：何炎祥，江南　　出版：科学出版社　　日期：2022-09-01 随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。《高级语言程序变换的机械化证明导论》阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证 ...	詳情>>	售價：HK$ 150.0

	面向片上缓存子系统的功耗优化方法 『简体书』 作者：何炎祥，沈凡凡　　出版：科学出版社　　日期：2018-02-01 高等院校和科研院所计算机科学与技术、计算机系统结构、计算机应用技术等相关专业的高年级本科生或研究生，软件优化等相关领域的研究人员 ...	詳情>>	售價：HK$ 134.9

	编译原理 『简体书』 作者：何炎祥　　出版：高等教育出版社　　日期：2011-01-01 《编译原理》主要介绍设计和构造编译程序的基本原理和方法。内容包括形式语言理论和自动机理论、常用的词法分析方法、各种经典的语法分析方法、语法制导翻译方法、存储器的组织与管理方法、符号表的组织与造查表方法、代码优化和代码生成方法、并行编译程序及 ...	詳情>>	售價：HK$ 82.6

	面向嵌入式系统的绿色编译理论与方法研究 『简体书』 作者：何炎祥，陈勇　　出版：科学出版社　　日期：2014-05-01 编译器作为软件开发和构建的重要工具，在对软件进行系统化、结构化的优化方面具有无可比拟的优势。随着嵌入式系统的广泛普及和应用，其绿色指标已受到人们的广泛关注。而嵌入式系统是软硬件的结合体，其绿色指标不但受硬件工艺和技术的制约，更受到其上运行软 ...	詳情>>	售價：HK$ 169.0

	可信编译构造理论与关键技术 『简体书』 作者：何炎祥，吴伟　　出版：科学出版社　　日期： ...	詳情>>	售價：HK$ 99.0

如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”