Ulimann’s Encyclopedia of Industrial Chemistry：Vol.A10.1987.
2222 年出版655 页ISBN：
Ulimann’s Encyclopedia of Industrial Chemistry：Vol.A19.1991.
2222 年出版605 页ISBN：
Lecture Notes in Computer Science 4125 Databases
Information Systems2007 年出版0 页ISBN：
Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN：
Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页ISBN：
LECTURE NOTES IN MATHEMATICS 1377: SINGULARITY THEORY
ROD THEORY1989 年出版177 页ISBN：
