Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN:3540472371
THIRD INTERNATIONAL WORKSHOP ON NONDESTRUCTIVE TESTING AND COMPUTER SIMULATIONS IN SCIENCE AND ENGIN
ALEXANDER I.MELKER2000 年出版422 页ISBN:0819436992
LECTURE NOTES IN MATHEMATICS 1459: OPTIMAL CONRTOL OF NONSMOOTH DISTRIBUTED PARAMETER SYSTEMS
1990 年出版159 页ISBN:3540535241;0387535241
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
Lecture Notes in Artificial Intelligence 4106 Advances in Case-Based Reasoning 8th European Conferen
ECCBR 20062006 年出版566 页ISBN:3540368434
Advances in Computer Communications and Networking
1979 年出版653 页ISBN:0890060800
Lecture Notes in Artificial Intelligence 4451 Artifical Intelligence for Human Computing ICMI 2006 a
2007 年出版359 页ISBN:9783540723462