LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 89 AN EXPERT SYSTEMS APPROACH TO COMPUTER-AIDED
G.K.H.PANG AND A.G.J.MACFARLANE1987 年出版325 页ISBN:3540173560
Lenture Notes in Computer Science 3472 Model-Based Testing of Reactive Systems Advanced Lectures
2005 年出版659 页ISBN:3540262784
Leture Notes in Computer Science 8 GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen Braunsc
20.-22.3.19741974 年出版340 页ISBN:3540066772
LECTURE NOTES IN MATHEMATICS 1273: SINGULARTIES
REPRESENTATION OF ALGEBRRAS1987 年出版383 页ISBN:
LECTURE NOTES IN MATHEMATICS 1405: OPTIMIZATION
1989 年出版223 页ISBN:354051970X;038751970X