Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN：3540272313
Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN：9783540733676
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
COMPUTER-AIDED DATA ANALYSIS A PRACTICAL GUIDE
WILLIAM R. GREEN2222 年出版268 页ISBN：
COMPUTER-AIDED HEAT TRANSFER ANALYSIS INTERNATIONAL STUDENT EDITION
1973 年出版426 页ISBN：0070002851
Computer Aided and Integrated Manafacturing Systems Volume 5:Manufacturing Processes
2003 年出版244 页ISBN：9812389792
Computer-aided detection and diagnosis in medical imaging
Qiang Li ; Robert Mark Nishikawa2015 年出版426 页ISBN：1439871768
FOURTH INTERNATIONAL WORKSHOP ON COMPUTER-AIDED SOFTWARE ENGINEERING
RONALD J.NORMAN ROGER VAN GHENT2222 年出版553 页ISBN：081862129X
