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 DESIGN AND MANUFACTURE OF ELECTRONIC COMPONENTS
CIRCUITS AND SYSTEMS1979 年出版232 页ISBN：
e-Design computer-aided engineering design
Kuang-Hua Chang2015 年出版1206 页ISBN：0123820383
IEEE 1985 INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN
2222 年出版361 页ISBN：0818606878
SHAPE PRESERVING REPRESENTATIONS IN COMPUTER-AIDED GEOMETRIC DESIGN
1999 年出版233 页ISBN：1560726911
CAD ED Internationl Conference on Computer Aided Design Education
1978 年出版403 页ISBN：0902852817
