（美）豪沃（Howard，M.），（美）勒伯兰克（LeBlanc，D.），（美）维加（Viega，J.）著；肖枫涛，杨明军译2006 年出版252 页ISBN：7302138044
本书就软件安全的漏洞，如：缓冲区溢出，格式化字符串问题，命令注入，跨站脚本，未能处理错误信息等，进行讲解。
（美）（G.乔伊斯）Gerald Joyce，（美）（M.穆恩）Marianne Moon著；北京博彦科技发展有限公司译1999 年出版326 页ISBN：7301042817
（美）（J.乔伊斯）Jerry Joyce，（美）（M.穆恩）Marianne Moon著；北京博彦科技发展有限公司译1998 年出版284 页ISBN：7301038356
（美）Richard C. Lee，（美）William M. Tepfenhart著；麻志毅，蒋严冰译2002 年出版436 页ISBN：7111105788
（美）亚当斯（Waiter Adama），（美）格雷（Horace M. Gray）著；加东译1958 年出版237 页ISBN：4002·129
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）罗宾·巴德（RobinBade），（英）迈克尔·帕金（MichaelParkin）著；马洪云，莫蕾钰译2016 年出版624 页ISBN：9787302447900
本书既涵盖西方经济学的基本原理，又尽量突出重点，降低难度。以文字表述为主，减少数学推导，深入浅出，通俗易懂，便于读者复习消化。可以作为高等学校经管类专业本科生经济学原理课程的教材，也可以作为非经管类专......
（美）艾琳·格鲁维尔，自由写手著；李燕译2017 年出版297 页ISBN：9787544288927
夏末，203教室，刚刚毕业的菜鸟老师艾琳·格鲁维尔小姐被全班学生震住。这群肤色各异的高一新生有的来自贫民区的破碎家庭、刚从少年监狱出来，有的曾加入过黑帮、吸毒贩毒……他们从小就被贴上“无法管教”的标...
（美）帕金斯等；陈国荣译2008 年出版318 页ISBN：7500934033
本书从理念、方法以及大量的现实生活的案例让你走进一个惊奇的、崭新的、出其不意的、打破传统习惯的模式，并引领你在自卫搏击领域中得到磨炼。...
（美）狄金森编著2010 年出版351 页ISBN：9787111294757
本书精选了狄金森的经典诗篇，如《暴风雨夜，暴风雨夜》等。其诗主要写生活情趣、自然、生命、信仰、友谊、爱情。
