鞠实儿等著2009 年出版383 页ISBN:9787505876002
本书以知识表示与推理为应用牵引,以非经典逻辑(包括哲学逻辑和语言逻辑)为理论驱动,针对自然语言的内涵性、模糊性、交互性、形态性和多样性,分别构造了若干自然语言逻辑系统,包括:语境内涵逻辑、模糊量词逻辑......
石书臣,潘宁等著2013 年出版449 页ISBN:9787542642448
本书以马克思主义世界观和方法论为指导,以马克思主义中国化的方法论体系和方法论特色为重点,对马克思主义中国化方法论形成和发展的理论溯源、实践动力、基本经验和马克思主义中 国化方法论的体系结构、功能...
郭金运,常晓涛,孙佳龙等著2013 年出版186 页ISBN:9787503028243
本书介绍了卫星测高原理和数据处理方法,分析了卫星雷达测高波形,给出了近海、湖泊、沙漠等典型波形特征,对测高波形进行了分类,讨论了陆地和自动增益控制对测高波形的影响,阐述了测高波形重定算法,开发了测高波.....
戴春胜,龙显助,王波,李基明等著2012 年出版345 页ISBN:9787511608093
围绕中国粮食主产区——三江平原水土资源利用与保护,以发展绿色、有机食品为宗旨,对三江平原地表、地下水资源量与水质进行评价;土壤、作物需水量的相互转化应用;土壤肥力演变与科学施肥;绿色、有机食品产地水土...
陈俊敏编2012 年出版155 页ISBN:9787564317911
本书是作者自2002年以来在农村生活污水处理领域的研究与工程实践经验的总结。综合运用现场调查、室内试验和工程示范等手段,在前人研究的基础上,介绍了我国农村地区地表水环境污染现状、人工快速渗滤系统的国...
陈建辉,萧善文著2016 年出版238 页ISBN:9787512712362
为什么已经拚命减重,体重却不降反升?为什么努力运动,小肚肚、粗手臂却还是如影随形地跟着你?这是因为你用错方法、使错了力!想要变美变瘦,其实,你只需要找对方法!就让中医师来告诉你一辈子受用的瘦身秘密!照......
计算机一级考试过关指导 Windows 7+Office 2010 双色版
单天德,余党军主编;陈兴威,王永忠,陈海荣,邱晓华副主编2013 年出版267 页ISBN:9787040384321
本书为配合全国及浙江省计算机一级考试的改革,以国家教育部考试中心和浙江省等级考试办公室新颁布的计算机一级考试大纲(Windows 7+Office 2010)为蓝本,组织高校具有丰富等级考试教学经验的一线教师进行编写。...
陈亚宁主编2015 年出版341 页ISBN:9787030438324
本书在有关课题深入研究与实践工作的基础上,对塔里木河流域主要生态问题进行诊断分析,提出了生态保护红线目标,并分析计算了整个流域不同保护目标下的天然植被生态需水量。针对存在的典型生态问题,提出了重点生...
陈志杰著2012 年出版253 页ISBN:9787030311733
本书从系统论的观点出发,围绕空域规划设计、运行管理、评估监督的工作内容进行空域管理的理论方法研究分析。具体的在章节内容安排上,第一章绪论,论述了空域属性、空域管理概念及内涵,阐述了空域管理研究发展现...
王胜资,陈嘉德,(美)南希·李主编;袁伟等副主编2016 年出版155 页ISBN:9787548726074
本书根据复旦大学附属眼耳鼻喉科医院多年的头颈部肿瘤放射治疗临床实践为基础,通过对最新参考文献的全面解读,结合危及器官解剖、功能特点、放射治疗中危及器官剂量限制临床研究数据,展示了危及组织和器官的勾...