王者之路 机器证明及其应用 【数理化】

普通物理实验 4 综合及设计部分 第4版 【数理化】

本书为普通高等教育“十一五”国家级规划教材，也是实验教材中用量最大，影响最广和拥有悠久历史的一套教材全套书共4册，分别为力学及热学部分、电磁学部分、光学部分、综合及设计部分，是在第三版的基础上增订而...

DPS数据处理系统 第1卷 基础统计及实验设计 第3版 【数理化】

本书从应用角度简要地阐述了现代统计学400多种实验数据统计分析和模型模拟方法，如试验设计、各类型方差分析、列联表分析及非参数检验;专业统计包括了生物测定、遗传育种、生存分析;作物品种区域试验、空间...

平面几何定理的机器证明 【数理化】

高校经典教材同步辅导丛书 结构力学 同步辅导及习题全解 第6版 【数理化】

本书是与高等教育出版社出版，李廉锟主编的《结构力学》（第6版）配套的同步辅导及习题全解辅导书。全书按教材内容，针对各章节习题给出详细解答，思路清晰，逻辑性强，循序渐进地帮助读者分析并解决问题，内容详尽......

数学机器简明教程 【数理化】

新型介观晶体结构及形成机理的电子显微学研究 【数理化】

本书主要是关于通过电子显微学对新型介观晶体的结构特征和形成机理进行详细表征的研究，包括介孔材料的共结构导向法合成体系及以DNA分子为模板进行自组装矿化。第1章介绍了晶体学和电子显微学的概括，第2章是...

清华大学优秀博士学位论文丛书 石墨相氮化碳的结构调控及增强光催化性能 【数理化】

基于半导体的光催化剂技术是一种最为理想利用太阳能缓解能源危机和环境问题的技术。光催化材料是光催化技术的核心。聚合物石墨相氮化碳半导体材料由于不含金属、化学稳定性好、环境兼容、二维层状结构等优...

机器化·高性能：薄层层析法 【数理化】

非结构网格计算格式研究及环境湍流模拟 【数理化】

本书是对非结构网格数值计算格式的性能研究方面及在环境水力学中应用的最新成果的专著。全书共分六章，首先针对对流项离散格式，基于SIMPLE类算法分别对UDS、CDS、HDS、PDS、Q-QUICK和NQ-QUICK格式等来综合研...