Lenture Notes in Computer Science 3472 Model-Based Testing of Reactive Systems Advanced Lectures
2005 年出版659 页ISBN:3540262784
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
Leture Notes in Computer Science 8 GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen Braunsc
20.-22.3.19741974 年出版340 页ISBN:3540066772
STRUCTURED LEARNING AND PREDICTION IN COMPUTER VISION
SEBASTIAN2222 年出版0 页ISBN:
Lecture Notes in Mathematics 1513:Dynamics in One Dimension
1992 年出版252 页ISBN:3540553096