丑陋的胜利 解剖科索沃战争

（美）伊沃·达尔德（Ivo H.Daalder），（美）迈克尔·奥汉隆（Michael E.OHanlon）著；沈建译2001 年出版317 页ISBN：7501152195

软件安全相关的19个致命漏洞

（美）豪沃（Howard，M.），（美）勒伯兰克（LeBlanc，D.），（美）维加（Viega，J.）著；肖枫涛，杨明军译2006 年出版252 页ISBN：7302138044

本书就软件安全的漏洞，如：缓冲区溢出，格式化字符串问题，命令注入，跨站脚本，未能处理错误信息等，进行讲解。

Microsoft Word 2000即学即会

（美）（G.乔伊斯）Gerald Joyce，（美）（M.穆恩）Marianne Moon著；北京博彦科技发展有限公司译1999 年出版326 页ISBN：7301042817

Microsoft Windows 98即学即会

（美）（J.乔伊斯）Jerry Joyce，（美）（M.穆恩）Marianne Moon著；北京博彦科技发展有限公司译1998 年出版284 页ISBN：7301038356

C++面向对象开发 原书第2版

（美）Richard C. Lee，（美）William M. Tepfenhart著；麻志毅，蒋严冰译2002 年出版436 页ISBN：7111105788

美国政府是垄断势力的扶植者

（美）亚当斯（Waiter Adama），（美）格雷（Horace M. Gray）著；加东译1958 年出版237 页ISBN：4002·129

公司年度报告 机器与零件

（美）林恩·M.弗雷泽（Lyn M Fraser），（美）艾琳·奥米斯顿（Aileen Ormiston）著；卢崇梅译2003 年出版147 页ISBN：7300050905

本书介绍了公司年度报告（会计报表）的各组成部分，并对这些报表的各项指标进行了简明分析。

打瞌睡的房子

（美）奥黛莉·伍德著2009 年出版33 页ISBN：9787533257811

本书是引进版图文并茂图画故事书。

博弈论 战略分析入门

（美）麦凯恩（McCain，R.A.）著；原毅军等译2006 年出版273 页ISBN：7111186443

本书主要针对非经济学专业学生而编写，是一本全面介绍博弈论的具有指导意义的书籍。本书以基础性知识作为重点，以清晰的思路和简洁明了的方法阐述了博弈论知识及其应用，并覆盖了所涉及到的各个学科。其中，案例是...

模型检测

（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...