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
Research Methods in Human-Computer Interaction
Jonathan Lazar2017 年出版534 页ISBN：
formal Methods in human-Computer Interaction
Michael Harrison1990 年出版323 页ISBN：
Spoken Multimodal Human-Computer Dialogue in Mobile Environments
2005 年出版403 页ISBN：1402030738
NEURAL NETWORKS AND PATTERN RECOGNITION IN HUMAN-COMPUTER INTERACTION
2222 年出版460 页ISBN：0136269958
