（美）伯 格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
郭玲格主编2003 年出版416 页ISBN：7507515281
健康已成为老百姓日益关注的话题。本书将向你传递怎样预防疾病、增加身体的抵抗力，让健康的生活属于您。
刘英格，徐继宁主编2003 年出版561 页ISBN：7801870417
本书共收录《新概念英语》词汇2720条，每个词包括读音、拼写、构词用法、例句等项。
马喜法，楼一光，张习格主编2009 年出版192 页ISBN：9787111261896
本书主要包括高级工具钳工的基础知识，专业知识和技能等。
戈信义编著2010 年出版619 页ISBN：9787308072922
所有的英语学习者，都可能经历把某些似是而非、易混淆、易误认的单词混为一谈的过程，本词典为解决这一问题而编写，可以有效地帮助读者举一反三地掌握词汇，迅速扩大自己的词汇量。...
陈学芬，董隽，宋戈编著2003 年出版310 页ISBN：7226028794
本书是一部关于中小型图书馆所藏各种文献图书的编目方法的专著，涉及古代文献、普通图书、丛书、连续出版物、特种出版物的编目程序和计算机信息处理技术，是一部有关图书馆信息管理学方面的专业书。...
（德）马克思，（德）普法伊弗尔，（德）迈尔著2011 年出版117 页ISBN：9787534436086
本书是一套适合8～9岁儿童阅读的系列作品，讲述了大猩猩、变色龙等多种动物组成的野兽帮与人类斗智斗勇、寻找自由生活的故事。
