冯棉著2015 年出版239 页ISBN:9787549561971
本书研究命题逻辑的结构推理,分为四章:一、经典命题逻辑的结构推理;二、直觉主义命题逻辑的结构推理;三、相干命题逻辑及其线性片段的结构推理;四、和正结合演算的结构推理。内容涉及多种结构推理系统的建构,结.....
张晨曦主编2014 年出版400 页ISBN:9787302360384
本书借鉴了国内外最经典的相关教材,系统地论述了计算机系统结构的基本概念、基本结构、基本方法等,强调从开发并行性的角度,用量化分析(性能评价)的方法来研究和分析计算机系统。...
曾凡奎著2014 年出版129 页ISBN:9787512363762
本书主要内容包括高大模板支架稳定承载力足尺试验、广义初始缺陷对高支模稳定承载力的影响、半刚性连接模板支架设计、高支模整体稳定承载力的控制方法、高支模体系的改进与标准构造、高支模的实用设计方法...
赵伟著2017 年出版189 页ISBN:9787504991324
全书共分为四大部分,以中国经济结构转型为主线,分析了如何走出”中等收入陷阱”、产业结构调整的思路和方向、产业的迁移与分化、区域经济格局及发展路径、基建投资结构的调整等内容,全书内容丰富,清晰展示了经...
张延庆主编;樊友景,刘曙光副主编2017 年出版283 页ISBN:9787030528667
本书分上、下两册。上册主要内容包括绪论、平面体系的几何构成分析、静定结构内力分析、虚功原理和静定结构位移计算、静定结的影响线、力法、位移法、渐近法与近似法等;下册主要内容包括矩阵位移法、结构的...
刘子祥,戴为志主编2011 年出版415 页ISBN:9787122105097
本书阐述了详图设计、加工制作和现场安装的突出难点和解决方案。
彭伟主编2010 年出版410 页ISBN:7564303123
本书是“农家书屋”规划图书之一。该书以四川西北部地区为研究地点,以这些地区的地形、地质、气候特点等位依据,介绍了道地药材的种植技术。具体内容涉及道地药材的种类、特性、药用价值及经济价值,种植技巧等...
张鑫友主编;大学英语四级考试命题研究组编写2004 年出版264 页ISBN:7562228213
本书以四级考试最新试题为例分析词汇试题的命题特点、并论述解题技巧,且编写仿真训练,及进行详细解释与说明。
许以明编著2005 年出版151 页ISBN:7502564292
详细叙述了用拉曼谱研究蛋白质、生物膜以及病毒和细胞实用结构的成果。