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