Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN:3540272313
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN:3540223428
Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN:9783540733676
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN:354037406X
2005年证券业从业资格考试辅导丛书编写组编2005 年出版208 页ISBN:750058430X
本书分上篇:学习及应试指导概述,下篇为各章学习与辅导。
2005年证券业从业资格考试辅导丛书编写组编2005 年出版266 页ISBN:750058427X
本书上篇为学习及应试指导概述,下篇为各章学习与辅导。
STATUTES AND COMPARISONS 2005 EDITION2005 年出版742 页ISBN:0820562181
《2005年度中国著名广告导演》编委会编2006 年出版182 页ISBN:7221073422
本书收集了2005年度广告界著名导演的作品。