冯棉著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
详细叙述了用拉曼谱研究蛋白质、生物膜以及病毒和细胞实用结构的成果。
