计算机辅助逻辑设计理论
《计算机辅助逻辑设计理论》,作者:刘明业 出版社:科学出版社 ISBN:15031627。本书是讨论计算机辅助逻辑设计的理论和算法。全书共六章分四部分。第一章讨论多维体运算及其在计算机中的实现，为全书的重要理论基础部分。 第二、三、四各章讨论组合逻辑综合，是针对PLA和其它集成电路芯片的逻辑化简及整机部件的组合逻辑综合。包括单输出和多输出函数的两级及多
设计理论
信息化教学设计理论与实践
《信息化教学设计理论与实践》,作者:唐瓷,周鑫羧,王佳家 出版社:科学出版社 ISBN:9787030483607。中小学教师信息技术应用能力主要体王见为应用信息技术优化课堂教学和转变学习方式两个方面，信息化教学设计是这两个方面的集中体现和创新实践。本书尝试将理论引领与创新应用深度融合，对信息化教学设计进行了重新解析与实践。全书分为九章：第1章阐述了信息化教学与教育信息化相关问题；第2
复杂条件下高碾压混凝土重力坝设计理论与实践
《复杂条件下高碾压混凝土重力坝设计理论与实践》,作者:洪永文，杜成斌，江守燕著 出版社:科学出版社 ISBN:9787030406019。本书结合已建成的金安桥高碾压混凝土重力坝工程，丰富和发展了复杂条件下高碾压混凝土重力坝的设计理论，并在实际工程中进行了创新性实践。主要研究内容包括：大坝混凝土材料选择、基本力学特性及动力破坏机制研究、碾压混凝土重力坝抗震动力模型试验、碾压混凝土重力坝监测安全评价
道路交通标志设计理论与方法
《道路交通标志设计理论与方法》,作者:王建军等编著 出版社:科学出版社 ISBN:9787030231628。本书内容包括：道路交通标志优化设计相关理论分析、道路交通标志信息过载阈值研究、旅游标志优化设计理论与方法等共15章。
面向产品广义质量的综合设计理论与方法
《面向产品广义质量的综合设计理论与方法》,作者:闻邦椿，张国忠，柳洪义著 出版社:科学出版社 ISBN:9787030177377。本书提出了基于系统工程的产品设计规划的理论，建立了面向产品广义质量的综合设计法的理论框架，从现代机械的发展趋势和产品设计的广义质量出发，讨论了产品功能优化设计、动态优化设计、智能优化设计和可视优化设计的内涵及实现的措施等内容。
风力机翼型及叶片优化设计理论（英文版）
《风力机翼型及叶片优化设计理论（英文版）》,作者:陈进,汪泉 著 出版社:科学出版社 ISBN:9787030548535。无
现代日光温室建筑热工设计理论与方法
《现代日光温室建筑热工设计理论与方法》,作者:陈超 著 出版社:科学出版社 ISBN:9787030550293。 日光温室是我国特有的设施农业建筑，日光温室建筑热工性能及其光热湿环境质量保障直接影响日光温室冬（淡）季蔬菜的产量和品质。本书结合日光温室蔬菜栽培特点，从建筑热工设计理论和建筑光热湿环境营造理论出发，系统地介绍了日光温室建筑日照时间和日照质量与日光温室建筑朝向、间距、建筑等空间
产品服务系统设计理论与方法
《产品服务系统设计理论与方法》,作者:耿秀丽 著 出版社:科学出版社 ISBN:9787030553461。本书内容涉及产品服务系统的概念及应用介绍、产品服务系统设计理论与方法的综述及介绍。产品设计制造的根本目的是为使用该产品的顾客创造最大价值。产品日趋同质化以及顾客对企业创造价值要求的提升，促使制造企业从提供产品转变为提供产品服务整体解决方案，即产品服务系统。目前对产品服务系统的研究主要集中在营
基于数值模拟的设计理论与方法
《基于数值模拟的设计理论与方法》,作者:韩旭 出版社:科学出版社 ISBN:9787030459381。本书是一本全面系统论述基于数值模拟的设计理论与方法的专著。在机械装备设计开发中往往涉及结构复杂、工况极端、大规模计算、多功能需求和参数不确定等难点，这导致基于数值模拟的设计在精度、效率、功能和可靠性等方面难以得到保证。围绕这些关键共性技术难题，本书深入系统地阐述了集反求建模、快速
