（古）马可·奥勒留著2010 年出版182 页ISBN：9787507522730
本书主要介绍了音乐的发展历史、流派和各个流派的主要代表人物。简洁而又不失周到地叙述了音乐（核心是古典音乐）的由来与嬗变，不仅列出了很多史料，同时也有很多音乐风格和音乐现象的分析。...
古天龙著2005 年出版265 页ISBN：704016079X
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...
A.A.古贝尔主编；М.Я.赫弗特尔，А.С.耶路撒冷斯基，Л.М.伊万诺夫合编1975 年出版1295 页ISBN：11002·415
（德）斐迪南·穆勒—罗密尔（Ferdinand Muller-Rommel），（德）托马斯·波古特克（Thomas Poguntke）主编；郇庆治译2005 年出版218 页ISBN：7560729053
本书提供了对20世纪90年代后期先后进入政府的5个西欧绿党的一种个例研究基础上的综合比较分析。
