Lecture Notes in Computer Science 4006 Reliable Software Technologies-Ada-Europe 2006 11th Ada-Europ
2006 年出版240 页ISBN：3540346635
Lecture Notes in Computer Science 3113 Theory Is Forever Essays Dedicated to Arto Salomaa on The Occ
2004 年出版283 页ISBN：3540223932
Lecture Notes in Computer Science 3063 Reliable Software Technologies-Ada-Europe 2004 9th Ada-Europe
2004 年出版333 页ISBN：3540220119
Lecture Notes in Computer Science 4498 Reliable Software Technologies-Ada-Europe 2007 12th Ada-Europ
2007 年出版245 页ISBN：9783540732297
SERIES IN COMPUTER SCIENCE-VOL.5 VISUALIZING ABSTRACT BOJECTS AND RELATIONS A CONSTRAINT-BASED APPRO
1989 年出版162 页ISBN：9810200099
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
Lecture Notes in Computer Science 3555 Reliable Software Technologies-Ada-Europe 2005 10th Ada-Europ
2005 年出版273 页ISBN：3540262865
国家构建 21世纪的国家治理与世界秩序 governance and world order in the 21st century
（美）弗朗西斯·福山（Francis Fukuyama）著；黄胜强，许铭原译2007 年出版133 页ISBN：750046018X
本书探讨了现代国家衰弱性形成的原因，以及弱国或失败国家对21世纪国家秩序的影响，主张国际社会应予以干预，避免弱国的出现。
