LECTURE NOTES IN MATHEMATICS 1273: SINGULARTIES
REPRESENTATION OF ALGEBRRAS1987 年出版383 页ISBN：
LECTURE NOTES IN MATHEMATICS 1405: OPTIMIZATION
1989 年出版223 页ISBN：354051970X;038751970X
Computer Systems That Learn Classification and Prediction Methods From Statistics
Neural Nets2222 年出版0 页ISBN：
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
COMPUTER APPLICATIONS IN DESIGN
SIMULATION AND ANALYSIS Las Vegas2222 年出版0 页ISBN：
LECTURE NOTES IN MATHEMATICS 1192: EQUADIFF 6
1980 年出版424 页ISBN：3540164693;0387164693
