祁栋玉主编2011 年出版197 页ISBN：9787111331001
本书详细地介绍汽车发动机电脑控制系统及电脑板的维修，在介绍其故障现象与原因分析的基础上，通过具体的故障案例介绍故障排除方法等。
陈莉君，康华编著（西安邮电学院）2006 年出版247 页ISBN：7302118345
本书从原理、设计思想的角度对Linux操作系统的核心内容进行全面的阐述，包括操作系统概述、进程管理、中断、内核同步、内存管理、文件系统、I/O设备管理等。本书对于希望深入理解Linux系统原理以及进行内核...
费翔林主编；李敏，叶保留编著2009 年出版467 页ISBN：9787040262940
学习操作系统的最好途径是理论和实践相结合，本书是与高等教育出版社出版的《操作系统教程》（笫4版）配套的操作系统实验教材，以Linux2.6内核版本为平台，精心设计系列实验题目，每个（组）实验题目包括：实验目的、背......
安大伟主编2009 年出版299 页ISBN：9787112110261
本书共十章，主要内容包括：绪论，控制器，暖通空调自动控制常用传感器，暖通空调自动控制常用执行器，暖通空调计算机控制系统，暖通空调常用设备控制方法，空调冷热源及水系统的控制，供暖系统的调节与控制，空调系......
刘宇红，南军，钟丹主编2014 年出版359 页ISBN：9787121215858
本书分为给水管道系统和排水管道系统两篇，分别系统地阐述城市给水和排水管道系统的基础理论、设计计算方法及运行维护管理等方面的专业内容。各章均附有针对性很强的例题（有些是工程实例）和思考题。在内容安排...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（俄）奥博连斯基ю.T.，叶尔马科夫C.A.，苏霍鲁科夫P.B.著；李志，李明华译2013 年出版289 页ISBN：9787516502815
本书内容包括航空舵机的基本理论和计算方法，给出了这些理论和方法在现代机动飞机和客机上的应用。归纳了电液舵机的主要指标，其中包括美国和俄罗斯第三代、第四代及现代战斗机的舵机构造原理、涉及指标，其中包...
