(美)John C. Mitchell著;许满武等译2006 年出版563 页ISBN:7121032244
本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规...
郭向东,易雪梅主编;甘肃省图书馆,甘肃四库全书研究会编2006 年出版412 页ISBN:7805878137
本书由“四库全书研究会”成立时举办的研讨会上的论文精选结集,全书共分“四库全书总目研究”、“四库全书版本研究”、“四库全书文化研究”、“文溯阁四库全书”等四辑,比较集中地反映了两岸三地国学研究中...
赵志祥主编2006 年出版503 页ISBN:7502237003
本书收录了中国原子能科学研究院反应堆工程研究设计所部分老同志的回忆文章,集中反映了中国核反应堆工程所走过的50年不平凡历程。
欧阳友权主编;罗靖,莫运平,欧阳文风副主编2006 年出版351 页ISBN:7301109814
本教材广泛吸纳学术界近年来的研究成果,对原有高校使用的文学理论教材,从观点、体例和内容等方面都做了诸多调整和修改。其内容包括10个方面(分为10章):即文学文本、文学体裁、文学类型、文学审美形态、文学起源...
吴建国,徐德应著2004 年出版250 页ISBN:7503837195
本书的理论篇介绍土壤有机碳的贮量和分布、组分和质量、土壤有机碳的动态、自然因素的影响、土地经营的影响、土地利用变化的影响、土壤有机碳的残留、土壤吸收与土地利用;方法篇介绍了研究方法、分析方法、...
张晓春著2006 年出版192 页ISBN:7564104848
本书试从都市人类学的视角出发,把上海的城市空间视为被不同文化分割和竞争的对象,将规划和建筑视作都市中实施社会控制的工具,关注城市空间转换的过程,及其所折射的城市文化的历史变迁。...
沈林冲,周顺华,张金荣,刘训华,王弘琦著2012 年出版321 页ISBN:9787114098680
本书主要介绍杭州地铁一号线越钱塘江工程关键技术,主要内容包括:工程概况、施工风险预估、盾构机的适应性、沼气处理、防洪大堤的保护、接缝防水、施工参数的分区段设定、江底联络通道施工、长期沉降观测等。...
王伟赟著2014 年出版214 页ISBN:9787121236877
本书从国内外知识管理、知识发现和知识服务的研究现状入手,对高校的学科知识进行了系统的分析,阐述了高校学科知识的内涵与特性、分类和组织体系;然后对高校学科知识管理的目标和内容进行了系统研究,结合知识地...
鲁义著2014 年出版328 页ISBN:9787201085555
本书分三大部分——建交30年两国相互认识之现状实例分析,两国认识差异之比较,增进互信、促进相互理解。作者在日多年,取得大量数据,通过数据分析的方法,揭示了中日两国民众彼此认知的现状、未来两国关系走向,并.....