Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
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
Research in food science and nutrition ; volume 3: human nutrition
1983 年出版128 页ISBN：0906783283
HANDBOOK OF RESEARCH ON COMPUTER-ENHANCED LANGUAGE ACQUISITION AND LEARNING
2008 年出版584 页ISBN：9781599048956
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
HANDBOOKS IN OPERATIONS RESEARCH AND MANAGEMENT SCIENCE VOLUME 1 OPTIMIZATION
G.L.NEMHAUSER1989 年出版709 页ISBN：
Lecture Notes in Computer Science 3519 Computer Algebra and Geometric Algebra With Applications 6th
IWMM 20042005 年出版449 页ISBN：3540262962
Algorithms to Live By: The Computer Science of Human Decisions
Brian Christian2017 年出版352 页ISBN：12501183603
