计算机操作系统(第2版)

定价：¥33.00 旧书价：¥6.10 节约：¥26.90 库存： 官网有售

9787302245636 / 何炎祥 李飞 李宁 / 清华大学出版社 / 2011年06月 / 348页 / 约重0.560KG

简介：何炎祥等编著的《计算机操作系统(第2版)》着重讨论操作系统设计 的基本概念、基本原理和典型技术,讲述构造操作系统过程中可能面临的 种种问题及其解决办法;介绍操作系统设计中的一些非常重要的进展,……

编译原理

定价：¥28.00 旧书价：¥4.90 节约：¥23.10 库存： 官网有售

9787111288183 / 何炎祥 伍春香 王汉飞 / 机械工业出版社 / 2010年04月 / 246页 / 约重0.420KG

简介：本书主要介绍设计和构造编译程序的基本原理和方法,内容包括适合于计算机高级程序设计语言翻译的形式语言和自动机理论、常用的词法分析方法、各种经典的语法分析方法、语法制导翻译方法、存储器的组织与管理方法、符……

编译原理

定价：¥25.00 旧书价：¥8.50 节约：¥16.50 库存： 官网有售

9787040153910 / 何炎祥 / 高等教育出版社 / 2004年08月 / 297页 / 约重0.400KG

简介：本书主要介绍设计和构造编译程序的基本原理和方法。内容包括形式语言理论和自动机理论、常用的词法分析方法、各种经典的语法分析方法、语法制导翻译方法、存储器的组织与管理方法、符号表的组织与造查表方法、代码优……

编译原理及其习题解答

定价：¥41.00 旧书价：¥12.30 节约：¥28.70 库存： 店铺有售

9787307041981 / 何炎祥 李飞 李宁 / 武汉大学出版社 / 2004年01月 / 440页 / 约重0.569KG

简介：编译程序是计算机的重要系统软件,是高级程序设计语言的支撑基础。全书共14章,分别介绍了:形式语言、解法分析,自上而下语法分析,存储组织与管理等。 本书第一章讲述编译程序的功能、结构、工作过程、组织……

计算机操作系统

定价：¥33.00 旧书价：¥6.60 节约：¥26.40 库存： 店铺有售

9787302077794 / 何炎祥 李飞 李宁 / 清华大学出版社 / 2004年01月 / 412页 / 约重0.572KG

简介：本书详细介绍了计算机操作系统的基本概念、基本原理和典型实现技术,着重讲述了构造操作系统过程中面临的各种问题及其解决方法;特别讨论了操作系统设计中的一些非常重要的进展,包括线程、实时系统、多处理器调度、……

分布式操作系统 (平装)

定价：¥29.50 旧书价：¥11.80 节约：¥17.70 库存： 店铺有售

9787040161700 / 何炎祥 / 高等教育出版社 / 2005年01月 / 272页 / 约重0.360KG

简介：分布式操作系统是为分布式计算机系统配置的一种操作系统。《分布式操作系统》主要介绍设计和构造分布式操作系统的基本原理和典型实现技术,内容包括:分布式计算机系统的拓扑结构,分布式操作系统的结构模型、层次划……

面向嵌入式系统的绿色编译理论与方法研究

定价：¥65.00 旧书价：¥26.00 节约：¥39.00 库存： 店铺有售

9787030405012 / 何炎祥 / 科学出版社 / 2014年05月

简介：面向嵌入式系统的绿色编译理论与方法研究_何炎祥_科学_

编译原理(第三版)

定价：¥27.80 旧书价：¥6.30 节约：¥21.50 库存： 店铺有售

9787560934419 / 何炎祥 / 华中科技大学出版社 / 2010年08月 / 257页 / 约重0.420KG

简介：本书主要介绍设计和构造编译程序的基本原理和方法.内容包括适应高级程序设计语言翻译的形式语言理论和自动机理论、常用的词法分析方法、各种经典的语法分析技术、语法制导翻译方法、存储组织与管理方法、造查表方法……

程序设计基础

定价：¥35.00 旧书价：¥14.00 节约：¥21.00 库存： 店铺有售

9787302133704 / 何炎祥 / 清华大学出版社 / 2006年11月 / 426页 / 约重0.650KG

简介：本书主要介绍计算机程序设计基础方面的知识,内容包括:程序设计的基本概念、程序设计的发展、程序设计风格,程序设计语言、程序的结构、典型的数据结构、常用算法及算法描述,程序正确性证明,结构化程序设计、面向……

计算机操作系统学习指导与习题解答

定价：¥20.00 旧书价：¥4.50 节约：¥15.50 库存： 店铺有售

9787302120988 / 何炎祥 李飞 李宁 / 清华大学出版社 / 2006年01月 / 225页 / 约重0.320KG

简介：本书是为高等院校计算机及相关专业学生编写的“计算机操作系统”课程的学习指导用书,旨在帮助读者加深对操作系统课程知识要点的理解与掌握,提高分析问题和解决问题的能力。 全书分为14章,前13章的内容是对……

动态WEB服务组合关键技术与性能分析

定价：¥25.00 旧书价：¥10.00 节约：¥15.00 库存： 店铺有售

9787302261933 / 何炎祥 吴钊 / 清华大学出版社 / 2011年06月

简介：本书从概念建模、基于服务质量的服务选择、设计阶段的仿真模拟、运行阶段的性能分析和性能优化等方面，对web服务组合的关键技术和性能分析方法进行了探索性的研究与系统论述，是国家863计划“动态web服务组……

并行分布计算中的调度算法理论与设计(精)/武汉大学学术丛书

定价：¥14.00 旧书价：¥5.60 节约：¥8.40 库存： 店铺有售

9787307039216 / 朱福喜 何炎祥 / 武汉大学出版社 / 2003年05月 / 199页

简介：并行分布计算是当前计算机科学的热点之一。调度算法是影响分布计算的关键因素，也是一个具有挑战性的课题。本书对这个领域里的相关问题进行了全面系统的分析，着重研究了一般DAG任务的启发式调度算法、静态与动态……

面向片上缓存子系统的功耗优化方法

定价：¥95.00 旧书价：¥38.00 节约：¥57.00 库存： 店铺有售

9787030564771 / 何炎祥 / 科学出版社 / 2018年02月

高级语言程序变换的机械化证明导论

定价：¥120.00 旧书价：¥48.00 节约：¥72.00 库存： 店铺有售

9787030731678 / 何炎祥,江南 / 科学出版社 / 2022年09月 / 223页

简介：随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。《高级语言程序变换的机械化证明导论》阐述机械化定理证明……

可信编译构造理论与关键技术

定价：¥60.00 旧书价：¥24.00 节约：¥36.00 库存： 店铺有售

9787030364203 / 何炎祥 / 科学出版社 / 2013年01月

Agent和多Agent系统的设计与应用

定价：¥22.50 旧书价：¥9.00 节约：¥13.50 库存： 店铺有售

9787307031630 / 何炎祥 陈莘萌 / 武汉大学出版社 / 2001年06月 / 268页

简介：Agent和多Agent系统是当今计算机科学技术领域、信息工程领域和网络与通信领域十分活跃的前沿研究方向之一，其应用范围也越来越广泛。本书系统的论述了Agent和多Agent系统的研究成果和国内外同行……

降质服务击及其防范方法

定价：¥55.00 旧书价：¥22.00 节约：¥33.00 库存： 店铺有售

9787111345701 / 何炎祥 / 机械工业出版社 / 2011年06月

操作系统原理学习指导与题解

定价：¥18.80 旧书价：¥7.50 节约：¥11.30 库存： 店铺有售

9787560928722 / 何炎祥 / 华中科技大学出版社 / 2003年02月 / 236页

简介：本书是为计算机及相关专业学生编写的“操作系统原理”课程的学习指导用书。本书是作者根据多年教学经验并参考多种《操作系统原理》教材编写而成的，旨在帮助读者加深对“操作系统原理”课程知识要点的理解与掌握，提……

高级操作系统

定价：¥25.00 旧书价：¥10.00 节约：¥15.00 库存： 店铺有售

9787030070876 / 何炎祥 / 科学出版社 / 1999年04月 / 293页

简介：高级操作系统即多机操作系统，而分布式操作系统则是多机操作系统的典型和卓越代表．分布式操作系统是为分布式计算机系统配置的一种操作系统． 本书主要介绍设计和构造分布式操作系统的基本原理和部分实现技术，内……

操作系统原理

定价：¥27.50 旧书价：¥11.00 节约：¥16.50 库存： 店铺有售

9787560925615 / 何炎祥 熊前兴 / 华中科技大学出版社 / 2001年10月 / 360页

简介：本书结合当今操作系统的设计并考虑操作系统的发展方向，全面介绍了现代操作系统的基本概念、设计原理以及在构造过程中可能面临的种种问题及其解决方法；介绍了操作系统设计的一些重要的新进展，如线程、实时系统、多……