（美）克林顿V.奥斯特，（美）约翰S.斯特朗著2009 年出版239 页ISBN：9787801108852
本书是一本关于世界主要国家和地区空中航行工作方面的专著。
（英）希瑟·S.布坎南著2012 年出版26 页ISBN：9787513702003
鼠爸爸乔治和鼠妈妈蒂娜，还有他们的朋友以前从未看过放烟火，因此看到夜空满是浓烟和火星，都吓坏了，但是他们的恐惧很快变成了兴奋，他们决定造一艘了不起的登月飞船，去作一次冒险。...
（美）David S. Alberts（英）James Moffat著；郁军，贲可贵等译2004 年出版334 页ISBN：7121003325
本书主要内容有：信息时代的组织、对军事行动的启示、实现网络中心战、网络中心战潜力的评估、来自复杂性理论的战争概念、复杂性与信息时代战争之间的关系等。...
吴晓刚主编；（美）迈克尔·S.刘易斯-贝克著；曾东林译2015 年出版102 页ISBN：9787543224575
本书是格致方法·定量研究系列之一种。作者用简洁、清晰的文字扼要地介绍了应用回归分析入门和非技术性的内容。针对如何正确运用和滥用回归分析的后果，作者巧妙地运用实际例子进行阐述，这些例子包括：收入的决...
（西）费拉罗（Ferraro，R.），（土）阿克蒂哈诺格卢（Aktihanoglu，M.）著；李丽译2012 年出版249 页ISBN：9787115295347
本书教给你如何在一系列移动开发平台上开发位置感知应用，内容涉及：理解LBS横向的，详细介绍了Java、iPhone和Android平台的相关实例，概览了当前的工具和技术，帮助开发人员成为成功的移动企业家的技巧，有效管理动...
杜普伊斯（Adrian M. Dupuis，高尔顿（Robin L. Gordon）著；朱承，彭正梅译2006 年出版249 页ISBN：7303082026
本书线索明晰，是研究西方教育哲学的最佳的简明读物。翻译流畅，基本上达到了信、达、雅的境界，堪称一部上好的教育哲学译著。
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（英）（M.沃姆斯利）Mark Walms</em>ley著；冯博琴等译1999 年出版215 页ISBN：704007351X
（英）阿 彻（Archer，M.），诺兰-伍兹（Nolan- 唐述宗等译注1990 年出版155 页ISBN：7533704657
