Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop
2004 年出版307 页ISBN：3540213147
Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop
2007 年出版285 页ISBN：9783540733690
Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN：3540331026
Computer Interface Engineering for Real-Time Systems:A Model-Based Approach
1987 年出版292 页ISBN：0131630237
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN：3540281959
姜华主编；高桥吉民（日）主审2009 年出版242 页ISBN：9787119055626
本书全部采用日本社会中正在使用的语言以及最新的考试模拟练习题，为考生提供高效率的考前训练。配有MP3。
Guide to Rubber and Plastics Test Equipment 3rd Edition
1989 年出版217 页ISBN：0902348434
Practicing to take the GRE chemistry test. 2nd ed.
2222 年出版112 页ISBN：0446392014
PRACITCING TO TAKE THE GRE BIOLOGY TEST 2ND EDITION
1990 年出版103 页ISBN：0446391999
LABORATORY TEST HANDBOOK 4TH EDITION WITH KEY WORD INDEX
1996 年出版825 页ISBN：0916589366
