Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN:3540236104
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN:3540292098
CHEMISTRY AND CHEMICAL ENGINEERING IN THE PEOPLE’S REPUBLIC OF CHINA
1979 年出版266 页ISBN:0841205027
Multiscale Methods in Science and Engineering With 85 Figures and 17 Tables
2222 年出版295 页ISBN:3540253351
Interfacial Nanochemistry Molecular Sscience and Engineering at Liquid-Liquid Interfaces
2222 年出版321 页ISBN:0306485273