唐小明，刘延明，黎志键主编2009 年出版192 页ISBN：9787562929550
本书根据本校新生的一些特点和需求，主要从了解大学、认识大学、适应大学、上好大学、读好大学、融入大学、“规划”大学、热爱大学等八个方面帮助大学新生做到自主学习、自我约束、自我管理和自我心理调试。...
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
SWEET POISON:A JACK DONNE MYSTERY
WILLIAM RELLING JR.1998 年出版230 页ISBN：0802733166
上彊村民编；张小柳译析2003 年出版429 页ISBN：7538717633
本书系张春胜先生主编的一部有关学生课外阅读图书文库，本次出版为第一部。内容为中国古典文学名著梗概故事。
