何炎祥等编著1999 年出版487 页ISBN：7543913895
本书全面系统地介绍了现代操作系统的基本概念，设计原理以及在构造过程中可能面临的种种问题及其解决方法，此外，还介绍了在设计操作系统过程中一些重要的新进展，如线程、实时系统、多处理器调度、进程迁移、分布...
李劲华，陈宇，丁洁玉主编；何炎祥主审2019 年出版319 页ISBN：9787563556748
本书介绍了计算机高级语言编译程序的基本原理和技术，主要内容包括词法分析、语法分析、语法制导翻译的语义分析与中间代码生成、符号表与运行时存储空间的组织、代码优化以及目标代码的生成。本书着重描述了...
何炎祥，吴伟著2013 年出版228 页ISBN：9787030364203
本书详细介绍了可信编构器造译理论及其关键技术。对可信编译的概念和特征进行了准确定义和描述，总结归纳了各种不同的可信编译器构造方法。针对保证编译对象可信性，介绍了三种不同性质的实现机制。结合具体应...
何炎祥，刘陶编著2011 年出版215 页ISBN：9787111345701
本书第1章首先介绍了RoQ攻击的主要研究背景，对当前相关研究现状进行了总结、归类与分析。第2章对RoQ攻击的原理进行了详细介绍，对目前已提出的各种RoQ攻击方式进行了分类描述和建模。第3，4，5，6章结合其攻击特征...
何炎祥主编；李飞，李宁编著2006 年出版225 页ISBN：7302120986
本书分为14章，分别是操作系统概念，进程描述与控制，并发控制，死锁处理、内存管理、处理机调度、I/O设备管理、文件管理、分布计算、分布式进程管理、操作系统的安全性、网络操作系统的雏形、一个小型操作系统的...
何炎祥，陈莘萌编著2001 年出版268 页ISBN：7307031639
Agent和多Agent系统是当今计算机科学技术领域、信息工程领域和网络与通信领域十分活跃的前沿研究方向之一，其应用范围也越来越广泛。本书系统的论述了Agent和多Agent系统的研究成果和国内外同行的研究工作。...
何炎祥，陈勇著2014 年出版188 页ISBN：9787030405012
编译器作为软件开发和构建的重要工具，在进行系统化、结构化的优化方面具有无可比拟的优势。随着嵌入式系统的广泛普及和应用，其绿色指标的好坏受到了人们的广泛关注。而嵌入式系统是软硬件的结合体，其绿色指标...
中文计算技术与语言问题研究 第七届中文信息处理国际会议论文集
萧国政，何炎祥，孙茂松主编2007 年出版785 页ISBN：7121025639
本书根据信息时代的特点，并结合国外当前的提法，传统的印刷企业更恰当的称呼为图像传播业，因此教改后，印刷工程被更名为图像传播工程，本书介绍了印刷企业的组织结构、作业流程、管理模式、质量控制模式、企业形象...
何炎祥著2005 年出版273 页ISBN：7040161702
分布式操作系统是为分布式计算机系统配置的一种操作系统。《分布式操作系统》主要介绍设计和构造分布式操作系统的基本原理和典型实现技术，内容包括：分布式计算机系统的拓扑结构，分布式操作系统的结构模型、层...
何炎祥主编2005 年出版178 页ISBN：7040184400
第八届全国计算机系主任（院长）论坛于2005年10月16～17日在武汉大学召开。本次论坛以“计算机学科的人才培养与和谐社会的构建”为主题，对我国计算机学科本科生和研究生教育中面临的问题、与发达国家的差距分析及...
