灵泉著2009 年出版154 页ISBN：7538722734
本书收集各种历险的故事，如雪山历险、人与动物之间的搏斗、各种意外遇险等。内容险象环生，惊险离奇。
（美）斯特帕诺夫著2012 年出版283 页ISBN：9787111367291
本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。...
曹文轩著2009 年出版181 页ISBN：9787539150017
本丛书讲的是一个叫皮卡的男孩的成长故事。皮卡在校园生活中经历了许多有意思的事情，其间有快乐也有苦恼，在家人和朋友的关心和帮助下皮卡还是很顺利地解决了许多问题，在这个过程中他也一步步成长起来。...
海飞著2012 年出版284 页ISBN：9787807407539
本书是一部女性在寻爱路上的辛酸爱情史，男女主人公的情感纠葛与挣扎贯穿始终。而且整个故事流向都悬疑重重，兄弟反目、夫妻成仇、在阴谋中前行，在黑暗中寻找光明，每一个故事情节都紧扣人心……...
吴晗著2011 年出版375 页ISBN：9787512502505
本书从吴晗已发表的文章中，选取有关明史者成集，包括《明史四讲》《明代的军兵》《明代的锦衣卫和东西厂》《明教与大明帝国》《金瓶梅的著作时代及其社会背景》等名篇。...
