Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
HANDBOOK OF RESEARCH ON COMPUTER-ENHANCED LANGUAGE ACQUISITION AND LEARNING
2008 年出版584 页ISBN：9781599048956
Lecture Notes in Computer Science 4752 Advances in Information and Computer Security Second Internat
IWSEC 20072007 年出版460 页ISBN：9783540756507
Lecture Notes in Computer Science 4266 Advances in Information and Computer Security First Internati
IWSEC 20062006 年出版438 页ISBN：3540476997
HANDBOOKS IN OPERATIONS RESEARCH AND MANAGEMENT SCIENCE VOLUME 1 OPTIMIZATION
G.L.NEMHAUSER1989 年出版709 页ISBN：
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
INTERNATIONAL WORKSHOP ON NONDESTRUCTIVE TESTING AND COMPUTER SIMULATIONS IN SCIENCE AND ENGINEERING
1999 年出版472 页ISBN：0819431613
