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