安大伟主编2009 年出版299 页ISBN：9787112110261
本书共十章，主要内容包括：绪论，控制器，暖通空调自动控制常用传感器，暖通空调自动控制常用执行器，暖通空调计算机控制系统，暖通空调常用设备控制方法，空调冷热源及水系统的控制，供暖系统的调节与控制，空调系......
刘宇红，南军，钟丹主编2014 年出版359 页ISBN：9787121215858
本书分为给水管道系统和排水管道系统两篇，分别系统地阐述城市给水和排水管道系统的基础理论、设计计算方法及运行维护管理等方面的专业内容。各章均附有针对性很强的例题（有些是工程实例）和思考题。在内容安排...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
张向阳著2013 年出版257 页ISBN：9787564077686
本书讨论了语言意识理论和该理论在语言教学中的应用。所谓语言意识可以认为是对于人类语言能力及这种能力在思维、学习和社会生活中的作用的理解力，指处理语言信息的一种内在能力，可以是直觉的，更是清晰的对语...
仝冰雪编著；解圣哲翻译2012 年出版206 页ISBN：9787119073248
本书引用几段博客文章代为内容简介：今晚在cctv9碰巧看到一个节目，报道一位诞生于百多年前的中国人用图片记录自己人生，相册被一位老照片收藏家发现，办了个展览，那一张张黑白照片让我颇受震动。这“图片自传”的...
（俄）奥博连斯基ю.T.，叶尔马科夫C.A.，苏霍鲁科夫P.B.著；李志，李明华译2013 年出版289 页ISBN：9787516502815
本书内容包括航空舵机的基本理论和计算方法，给出了这些理论和方法在现代机动飞机和客机上的应用。归纳了电液舵机的主要指标，其中包括美国和俄罗斯第三代、第四代及现代战斗机的舵机构造原理、涉及指标，其中包...
田志忠，赵宏伟，李树秋编著2014 年出版269 页ISBN：9787302347446
本书主要内容包括：ARM开发工具简介Ads1.2；基于LPC2290嵌入式开发平台简介；如何开发调试基于ARM7TDMI软件程序；如何开发调试基于LPC2290处理器的接口功能模块。...
