李然，张慎法，陈坤，赵林，刘汀鄂，葛剑锋，马明志，谢晖编者2004 年出版647 页ISBN：7801458737
本书为全国司法考试辅导用书。
古小松编著2007 年出版309 页ISBN：9787501231454
本书从地理、历史、政治、经济、文化、外交及中越关系等方面进行了客观的介绍及分析。全书观点新颖，分析客观，是了解越南国情和中越关系的必备书籍。...
张信，曹秀霞，古晓林编著2009 年出版97 页ISBN：9787227041689
本书针对农民朋友编写，分章讲解了各类饲草料的加工、储藏、配比、利用等技术、是一部通俗易懂，简明扼要的农业知识读本。
（古）马可·奥勒留著2010 年出版182 页ISBN：9787507522730
本书主要介绍了音乐的发展历史、流派和各个流派的主要代表人物。简洁而又不失周到地叙述了音乐（核心是古典音乐）的由来与嬗变，不仅列出了很多史料，同时也有很多音乐风格和音乐现象的分析。...
（美）罗伊斯·白金汉著；张剑锋，刘莹莹译2017 年出版343 页ISBN：9787556827954
少年卡姆被诊断出得了绝症，余生将躺在病床上度过。这时，神秘男子邀请他参加一个间谍小组，为人类社会的和平秩序，出使一些危险的任务，让自己最后的生命燃烧得更有意义。卡姆加入间谍小组之后，发现秘密基地里有很.....
古天龙著2005 年出版265 页ISBN：704016079X
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...
