Microscopy techniques for materials science
A R Clarke ; C N Eberhardt2002 年出版424 页ISBN：1855735873
Quantum field theory for mathematicians
Ticciati;Robin.1999 年出版700 页ISBN：052163265X
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
COMPUTER NETWORKS A SYSTEMS APPROACH
LARRY L.PETERSON & BRUCE S.DAVIE1996 年出版552 页ISBN：1558603689
A REPORT FOR MONITORING AND ASSESSMENT OF THE SOCIO-ECONOMIC IMPACTS OF CHINA’S KEY FORESTRY PROGRAM
国家林业局经济发展研究中心，国家林业局发展计划与资金管理司编2007 年出版227 页ISBN：9787503849114
本书记载了2003年的林业重点工程的监测结果，详细叙述了22个省（自治区、直辖市）的200个县（森工企业）、200个村（林场）、1200个农户（职工家庭）实施林业重点工程后的监测数据。具体包括天然林资源保护工程、退耕还林......
Lecture Notes in Computer Science 123 Trends in Information Processing Systems 3nd Conference of the
1981 年出版346 页ISBN：3540108858
