古天龙著2005 年出版265 页ISBN：704016079X
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...
A.A.古贝尔主编；М.Я.赫弗特尔，А.С.耶路撒冷斯基，Л.М.伊万诺夫合编1975 年出版1295 页ISBN：11002·415
（德）斐迪南·穆勒—罗密尔（Ferdinand Muller-Rommel），（德）托马斯·波古特克（Thomas Poguntke）主编；郇庆治译2005 年出版218 页ISBN：7560729053
本书提供了对20世纪90年代后期先后进入政府的5个西欧绿党的一种个例研究基础上的综合比较分析。
玛拉沁夫著；栗原小荻，黄神彪主编2006 年出版292 页ISBN：7543545322
玛拉沁夫是我国著名蒙古作家，他的作品主要是描写蒙古草原生活，该文集是作者半个多世纪文学创作的总集，基本上代表了作者各个时期的创作成果。...
