購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
全文
模式”搜“
何炎祥，沈凡凡
”共有
7
结果：
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
编译原理（第三版）何炎祥
『简体书』 作者：何炎祥 出版：华中科技大学出版社 日期：2018-08-01 本书主要介绍设计和构造编译程序的基本原理和方法．内容包括适应高级程序设计语言翻译的形式语言理论和自动机理论、常用的词法分析方法、各种经典的语法分析技术、语法制导翻译方法、存储组织与管理方法、造查表方法、代码优化和代码生成方法、编译自动化和并行编译程序，以及词法分析器生成工具LEX和语法分析器生成工具YACC等。本书特别 ... |
詳情>> | |
 |
编译原理（第四版）
『简体书』 作者：何炎祥 出版：华中科技大学出版社 日期：2023-11-01 《编译原理第四版》主要介绍设计和构造编译程序的基本原理和方法．内容包括适应高级程序设计语言翻译的形式语言理论和自动机理论、常用的词法分析方法、各种经典的语法分析技术、语法制导翻译方法、存储组织与管理方法、造查表方法、代码优化和代码生成方法、编译自动化和并行编译程序，以及词法分析器生成工具LEX和语法分析器生成工具YAC ... |
詳情>> | |
 |
计算机操作系统（第3版）
『简体书』 作者：何炎祥、李飞、李宁 出版：清华大学出版社 日期：2025-04-01 本书着重讨论现代操作系统设计的基本概念、基本原理和典型技术，讲述构造现代操作系统过程中可能面临的各种问题及其解决办法；介绍操作系统设计中的一些非常重要的进展，包括线程、实时系统、多处理器调度、进程迁移、分布式计算模式、中间件技术、微核技术、操作系统的安全性等。为了帮助读者更好地将理论与实际设计相结合，书中选择了目前具有 ... |
詳情>> | |
 |
面向片上缓存子系统的功耗优化方法
『简体书』 作者：何炎祥，沈凡凡 出版：科学出版社 日期：2018-02-01 缓存作为计算机存储体系结构中的重要组成部分，对系统功耗和性能非常关键。本书全面系统地介绍缓存优化方法及其关键技术，从存储体系结构的角度出发，解决缓存的静态功耗和动态功耗问题，从而保证系统整体功耗的降低。同时，本书还重点阐述新型非易失性存储技术在架构缓存中的应用与实践。本书的主要内容是作者近年来在该领域的**研究成果，具 ... |
詳情>> | |
 |
高级语言程序变换的机械化证明导论
『简体书』 作者：何炎祥，江南 出版：科学出版社 日期：2022-09-01 随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。《高级语言程序变换的机械化证明导论》阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详述验证编 ... |
詳情>> | |
 |
可信编译构造理论与关键技术
『简体书』 作者：何炎祥，吴伟 出版：科学出版社 日期： ... |
詳情>> | |
 |
面向嵌入式系统的绿色编译理论与方法研究
『简体书』 作者：何炎祥，陈勇 著 出版：科学出版社 日期：2014-05-01 编译器作为软件开发和构建的重要工具，在对软件进行系统化、结构化的优化方面具有无可比拟的优势。随着嵌入式系统的广泛普及和应用，其绿色指标已受到人们的广泛关注。而嵌入式系统是软硬件的结合体，其绿色指标不但受硬件工艺和技术的制约，更受到其上运行软件的影响。何炎祥、陈勇编著的这本《面向嵌入式系统的绿色编译理 ... |
詳情>> | |
| >>> （頁碼:1/1 行數:20/7） 1 |
如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
| megBook.com.hk | |
| Copyright © 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |