Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN：3540223428
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
《2006国家司法考试同步训练题解》编写组编2006 年出版318 页ISBN：7802260302
本书是2006国家司法考试民法的训练题及解答。
《2006国家司法考试同步训练题解》编写组编2006 年出版243 页ISBN：7802260310
本书为2006国家司法考试商法学科的同步训练题解。
