凤翥有道：刘明谈机场管理

本书从机场的管理概况、机场的功能和作用为切入点，创新性地分析了国内外机场的管理趋势，系统地介绍了机场运营管理、资源管理等内容。

做有道德的少年 与道德交朋友

师道一为师亦有道

本书为面向中小学教育工作者的教育教师读物。立足教师专业成长，多角度编选富有指导性和借鉴意义的教师发展案例，呈现教师成长的规律和方向。...

2012淘金高阶英语专业四级巅峰训练 全文翻译+分阶突破 华研外语

淘金高阶考研英语全真题典 1991-2006 16套题

本书是1990年至今所有考研试卷的总编。讲解精当，答案权威，对目前不考的题型已删去。

高阶逻辑辅助证明系统

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

行旅有道

该书是作者十多年来游记的整理。作者每到一地，有见有感，便写成文字。游记包括作者在日本、韩国、奥地利、丹麦、挪威、瑞典、芬兰、俄罗斯、新加坡、马来西亚、越南、朝鲜以及中国各地的游历，不仅仅是各地的游...

现代信号处理技术 高阶谱、时频分析与小波变换

现代信号处理技术 高阶谱、时频分析与小波变换

淘金高阶：英语专业4级阅读120篇（翻译＋难句）

本书是针对英语专业4级考试的阅读单项训练，包括答题理论，30个单元题目共120篇，题后有译文、答案、解析、难句分析、词汇突破等解说方式。解析详尽，实用性强。...