面向计算机科学的数理逻辑

《面向计算机科学的数理逻辑（第2版）》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑（第2版）》在选材...

高等院校计算机教材系列 离散数学习题与解析

本书是与计算机专业教材《离散数学》（机械工业出版社出版）相配套的辅导教材，内容按照教材对应章节的先后次序安排，每章不仅包括了内容概述和习题解答，而且还概括了每一章的知识点、重点、难点，增加了范例解析，......

逆向而行 功能体系的分子工程学研究

暂缺《逆向而行：功能体系的分子工程学研究》简介

工程电磁理论

本书系统地阐述了Maxwell电磁场基本方程、原理和定理；深入分析和讨论了平面波的反射、折射和透射；规则波导的一般理论、矩形波导、圆形波导、同轴波导、光纤波导、和波导型谐振腔；线天线的辐射、口经型天线辐...

ANSYS Workbench 14.5数值模拟工程实例解析

电磁理论讲义 工程师用简明教程

结构塑性极限与安定分析理论及工程方法

本书主要介绍弹塑性结构极限与安定分析方法及其工程应用。

计算方法丛书 典藏版 4 线性规划计算方法

钛电极反应工程学

本书包括电极催化作用；电极反应工程实际问题；工业电解槽及电极；电极反应工程实例；钛阳极制造工艺；钛电极制造工艺；钛电极在电冶金、金属箔、电镀、废水处理、阴极保护、电渗析及其他领域中的应用等。...

系统工程与运筹学 第2版

本书介绍系统工程与运筹学的原理、方法及应用等。