（美）斯特帕诺夫著2012 年出版283 页ISBN：9787111367291
本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。...
（英）霍布斯（T.Hobbes）著；应星，冯克利译2003 年出版284 页ISBN：722106069X
本书共有三个部分十八章和三个附录，主要内容包括：论不存在公民社会时人的状态，自然法是人的律法，论国家的起因和产生，比较三类国家的弊端等。...
（美）马西·普利斯金（Marci Pliskin），（美）沙里·L. 贾斯特（Shari L. Just）著；郑微微译2005 年出版327 页ISBN：754272942X
本书主要介绍了有关心理咨询和治疗过程中的释梦理论及技术。
（美）斯特雷古斯（Streissguth，T.）著；陶怡译2006 年出版127 页ISBN：7810957139
本套书为一些政治、文化、体育及影视等名人的传记。本书介绍了美国开国元勋本杰明·弗兰克林的一生。
（美）斯特赖尔（Stryer，L.）著；唐有祺等译校1990 年出版999 页ISBN：7301004052
著者原题无汉译名:书名原文:Biochemistry:本书为美国和其它英语国家通用的生化教科书。其特点是从分子水平讲述生物化学
（德）Michaela Perlmann-Balme，（德）Gabi Baier，（德）Barbara Thoma编2006 年出版116 页ISBN：7560055087
本书是专门针对《新标准德语强化教程（中级）1学生用书》的教学编写的教师手册。介绍了整套教材的构建、教学原则、教学目的，并具体地按单元给出了教学建议和教学方法。此外，书中还给出了学生用书中听力课文的原...
（德）勒韦出版社编；（德）安德鲁·皮特，（德）伊娜·潘策尔著；廖云海译2012 年出版151 页ISBN：9787537651820
发动机是怎样工作的？飞机为什么会飞？有没有在海下行驶的火车？本书带你走进船舶、铁路、汽车、飞机和消防队的世界。
