Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN：3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN：9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
绿色财富 森林社会效益评价与核算 assessing and accounting for social benefit of forest
张颖著2007 年出版301 页ISBN：7802094879
本书对森林资源核算进行了系统的研究，对教学、研究单位、大专院校师生、政府管理部门和企事业单位的有关人员有一定的参考价值。
ELECTROORGANIC CHEMISTRY AS A NEW TOOL IN ORGANIC SYNTHESIS
T.SHONO1984 年出版171 页ISBN：0387130705
FORENSIC PSYCHOLOGOCAL ASSESSMENT AN INTEGRATIVE APPROACH
DAVID L.SHAPIRO1991 年出版307 页ISBN：0205125212
