Lecture Notes in Computer Science 183 The Munich Project CIP Volume I:The Wide Spectrum Language CIP
1985 年出版275 页ISBN：3540151877
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
INTERNATIONAL ENCYCLOPEDIA OF COMPARATIVE LAW VOLUME XVII
STATE AND ECONOMY2222 年出版93 页ISBN：
ENCYCLOPEDIA OF EUROPEAN COMMUNITY LAW VOLUME CI
K.R.SIMMONDS1975 年出版1303 页ISBN：
NEW ENCYCLOPEDIA OF PAPER-FOLDING DESIGNS
KEN OZAWA2003 年出版240 页ISBN：489444271X
THE ENCYCLOPEDIA OF ENGINEERING MATERIALS AND PROCESSES
H.R.CLAUSER2222 年出版0 页ISBN：
