模型检测

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

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

好女孩 坏女孩

（美）艾琳·克莱格（Eileen M. Clegg），（美）苏珊·斯沃茨（Susan Swartz）著；刘洋等译2004 年出版237 页ISBN：7536041314

本书是当代美国作家有关青少年教育的著作，叙说一种非传统的好女孩，她们是用新模式取代旧规矩、有头脑的新女性。这些人都能取得成功，找回自我。...

美国行政法的重构

（美）理查德·B.斯图尔特（Richard B.Stewart）著；沈岿译2002 年出版200 页ISBN：7100033675

绽放的玫瑰

（美）露易莎·梅·奥尔科特著2010 年出版261 页ISBN：9787547302187

本书是作者的代表作，主题是青少年的成长与奋进、友谊与爱情，是一幅描绘甜蜜爱情和激扬人生的美丽画卷。本书情节曲折生动，可读性强。

记者生涯 目击世界60年

（美）沃尔特·克朗凯特著；胡凝，刘昕译1998 年出版429 页ISBN：7214022184

暂缺《记者生涯：目击世界60年》简介

数学：确定性的丧失

（美）M.克莱因著；李宏魁译2012 年出版490 页ISBN：7535771827

发展的型式 1950-1970

（美）钱纳里（Chenery，H.），（以）塞尔昆（Syrquin，M.）著；李新华等译1988 年出版254 页ISBN：7505801260

自由市场和国家

（美）詹姆斯·M��布坎南（Buchanan，James M.）著；吴良健等译1988 年出版287 页ISBN：7563800212

激活 如何使团队跑起来

（美）丹尼尔·M.凯布尔著2019 年出版240 页ISBN：7508693538

钠的制造、性质及用途

（美）西蒂格，M.著；沈贯甲译1959 年出版418 页ISBN：15063·0536