Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
ENGLISHIN FOCUS ENGLISH IN PHYSICAL SCIENCE
J.P.B.ALLEN H.G.WIDDOWSON2222 年出版0 页ISBN：
中国科学技术史 第6卷 生物学及相关技术 第1分册 植物学 Volume 6 Biology and biological technology Part 1 Botany
李约瑟（Joseph Needham）著；袁以苇等译2006 年出版672 页ISBN：7030166132
本书阐述中国古代植物学产生和发展的历史。
Advances in catalysis science and technology
ed. by T.S.R.Prasada Rao1985 年出版771 页ISBN：0470201878
ZB 2002：Formal Specification and Development in Z and B
2222 年出版535 页ISBN：3540431667
Lecture Notes in Computer Science 4756 Progress in Pattern Recognition
Image Analysis and Applications 12th Iberoamerican Congress on Pattern Recognition2007 年出版969 页ISBN：
Lecture Notes in Computer Science 3287 Progress in Pattern Recognition
Image Analysis and Applications 9th Iberoamerican Congress on Pattern Recognition2004 年出版703 页ISBN：
Lecture Notes in Computer Science 3773 Progress in Pattern Recognition
Image Analysis and Applications 10th Iberoamerican Congress on Pattern Recognition2005 年出版1094 页ISBN：
Lecture Notes in Computer Science 4225 Progress in Pattern Recognition
Image Analysis and Applications 11th Iberoamerican Congress in Pattern Recognition2006 年出版995 页ISBN：
