THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 7th INTERNATIONAL CONFERENCE
SAT 20042005 年出版393 页ISBN：
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 8th INTERNATIONAL CONFERENCE
SAT 20052005 年出版494 页ISBN：
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 6th INTERNATIONAL CONFERENCE
SAT 20032004 年出版530 页ISBN：3540208518
ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 5 CLASSICAL OPTIMIZATION TO COMPUTER OUTPUT
JACK BELZER ALBERT G.HOLZMAN ALLEN KENT2222 年出版506 页ISBN：0824722558
Computation and theory in ordinary differential equations
James W. Daniel1970 年出版172 页ISBN：0716704404
BIOMEDICAL AND DENTAL APPLICATIONS OF POLYMERS POLYMER SCIENCE AND TECHNOLOGY Volume 14
1981 年出版492 页ISBN：0306406322
Handbook of Polymer Science and Technology Volume 3:APPLICATIONS AND PROCESSING OPERATIONS
1989 年出版664 页ISBN：0824780043
Handbook of Polymer Science and Technology Volume 4:COMPOSITES AND SPECIALTY APPLICATIONS
1989 年出版680 页ISBN：0824780213
ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 3 BALL TO BOX
1976 年出版503 页ISBN：0824722531
