（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）玛丽·威尔金斯·弗里曼（Mary Wilkins Freeman）著；汪飞舟译2002 年出版402 页ISBN：7806473734
《穷小子杰罗姆》，农村穷孩杰罗姆12岁在父亲“自杀”后即承担起家庭的重负。他聪明勤奋，顽强拼搏，与剥削者斗争，赢得村上一位善良人的帮助和他女儿露西娜的至纯初恋。...
（美）艾琳·克莱格（Eileen M. Clegg），（美）苏珊·斯沃茨（Susan Swartz）著；刘洋等译2004 年出版237 页ISBN：7536041314
本书是当代美国作家有关青少年教育的著作，叙说一种非传统的好女孩，她们是用新模式取代旧规矩、有头脑的新女性。这些人都能取得成功，找回自我。...
（意）达·芬奇（Da Vinci）著；张谦译2006 年出版191 页ISBN：754043371X
本书为达·芬奇的散文著作，记述其作人行艺的经历、思想，表达其对人生和艺术的看法。
（意）列奥纳多·达·芬奇，（美）H·安娜·苏著；刘勇译2018 年出版321 页ISBN：9787535794079
这部众人期待的笔记汇集了达芬奇笔记中精彩的内容，包括大画家的一千多幅原始素描和精致的线条画，揭示了他的洞察力。并对此进行了详尽描述。艺术作品经过精心编排，同时加强和彰显了作者的原始文字。所有这一切...
（美）钱纳里（Chenery，H.），（以）塞尔昆（Syrquin，M.）著；李新华等译1988 年出版254 页ISBN：7505801260
