流体包裹体热力学参数计算软件及算例 【天文地球】

建筑安装工程施工技术资料管理实例应用手册 【工业技术】

《建筑安装工程施工技术资料管理实例应用手册》以个案与例示的形式，论述了汉英新词翻译理论、汉英土建工程术语翻译特点，以及“地方志”的英译、部分汉英流行新词新语的英译等。...

Intel 80C196单片机应用实践与C语言开发 【工业技术】

网络天敌-计算机病毒武器 【军事】

本书内容有：新一维“战场空间——计算机及其网络”；“顶级攻击性武器——计算机病毒”；“道高一丈的“病毒灵”——反病毒技术措施”等。...

计算方法基础 【数理化】

高等学校教材21世纪课程教材:本书着重介绍了科学与工程计算中的基本概念、常用算法及其构造处理方法。全书内容有：非线性方程求根方法，线性方程组的解法，数据逼近方法，数值积分与微分方法，求矩阵特征值与特征向...

最新Windows 2000应用基础教程 【工业技术】

这是一本关于Windows 2000 Professional操作使用的书籍。内容包括Windows 2000的基本操作，Windows 2000的文件管理，附件应用程序的使用、系统安全管理、计算机网络应用、磁盘管理、硬件设备的管理和系统维护...

化学动力学在盆地模拟生烃评价中的应用 【天文地球】

本书介绍了一般化学动力学的基本原理，简述了烃源岩干酪根热解生烃动力学的试验测定方法等。

有线电视宽带多媒体网络 原理、技术、发展战略与实际应用 【工业技术】

逻辑公式的可满足性判定 方法、工具及应用 【工业技术】

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

同意的计算 立宪民主的逻辑基础 【经济】