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
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN:354037406X
DESIGN AND EVALUATION OF HUMAN-MACHINE SYSEMS 2004(HMS04)2005 年出版409 页ISBN:
杨长汉主编;2004年证券业从业资格考试辅导丛书编写组编2004 年出版228 页ISBN:7504451355
本书包括“证券交易”学习与应试指南、习题、模拟题与参考答案、部分历届考试的真实试题。
CRIME AND VICTIMS ACT 20042005 年出版230 页ISBN:9780199281890