（英）亚·沃尔夫著2009 年出版572 页ISBN：9787100061162
十八世纪是近现代科学技术蓬勃发展的重要时期，本书系统全面反映了这一时期的科技和哲学发展情况。
廖湖声著2013 年出版217 页ISBN：9787030373663
本书全面介绍了对国内外远程安全控制模型、设计及其实现技术，主要内容包含：远程控制协议的分类和模型，紧密相关的密码学技术，最新的典型的远程控制协议，基于符号模型和计算模型的自动化/手工方式分析与验证远程....
丁文魁，杜淑敏编著2008 年出版305 页ISBN：9787121060601
本书系统介绍编译程序设计的基本原理和方法，较详细的陈述了词法分析、语法分析及其理论计算机模型，用语法制导翻译进行语义分析和生成中间代码，中间代码优化，目标代码生成。另外，介绍面向对象语言的编译和编译程...
