（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）本杰明·格雷厄姆（BenjaminGrahan），（美）戴维·多德（DavidL.Dodd）著2013 年出版931 页ISBN：9787300175195
本书是一部投资经典巨着，建议分入F类。书中第一次阐述了寻找“物美价廉”的股票和债券的方法，这些方法在格雷厄姆去世后20年依然适用。本书在长达70年的时间里共发行了5版，计有百万册，充当了无数美国最杰出投资...
（美）姚繁盛（Yao，F），（美）小阿图西奥（Artusio，J.F.Jr.）著；李晓岩等译1989 年出版396 页ISBN：7805132216
书名原文:Anesthesiology:problem-orientedpatientmanagement:本书按人体器官作统编为八篇
（美）Edward G.Brierty，Robert W.Eckles，Robert R.Reeder著；李雪峰，时宝东等译2000 年出版629 页ISBN：730200711X
（美）佛瑞德立克·韦斯特（Frederick E.Webster，Jr）著；洪瑞彬译2003 年出版307 页ISBN：7810365347
本书整合了所有企业策略、结构和文化的各层面，包括研发、制造，到理财、人才资源和销售，融入行销概念中。
证券分析 上（原书第6版）=SECURITY SIXTH EDITION ANALYSIS
（美）本杰明·格雷厄姆（BENJAMIN GRAHAM），戴维·多德（DAVID L.DODD）著；巴曙松，陈剑等译2013 年出版466 页ISBN：
（美）小瑞芒德·麦克劳德（Raymond McLeod，Jr.），（美）乔治·谢尔（George Schell）著；张成洪等译2002 年出版418 页ISBN：7505376497
（美）小霍雷肖·阿尔杰（Horatio Alger，Jr.）著；刘荣跃，谢文伦译2003 年出版375 页ISBN：756333906X
少年小贩保罗，ISBN：9787563339068，作者：（美）小霍雷肖·阿尔杰（Horatio Alger，Jr.）著；刘荣跃，谢文伦译
