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

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

精通视窗程序设计 适用Visual C++6.0版 第29章 MFC与数据库 【工业技术】

新编计算机与信息科学十万个为什么 5 数据库与信息检索 【工业技术】

石油工业常用国家标准汇编 油气田产品、试验方法和储运 【工业技术】

本册收集了原油、天然气和石油产品的试验方法国家标准以及油、气的储运国家标准共46项.

用Photoshop进行图像处理 【工业技术】

本书内容丰富，语言流畅，实用性强、可操作性强。以新颖的图文编排格式，详尽的操作说明，生动而丰富的实例，展示了Photoshop对图形图像的超强处理功能。书中不但配有大量的图，而且图中也含有大量的信息，甚至高于文字....

先进连接方法 【工业技术】

本书是由中国焊接学会组织编写的先进焊接制造技术丛书之一。本书反映了当代重要冶金连接技术的前沿及发展动向。全书主要介绍适应高新技术和新型材料发展需要的高能束焊接、固态连接技术和微电子技术所需的...

二级考试考前精学精练 FoxBASE数据库 【工业技术】

按新修订的全国计算机等级考试大纲编写:本册是按全国计算机等级考试二级考试(FoxBASE数据库)大纲的要求编写，包括考试大纲、知识要点、分类试题、模拟试卷、解答及分析等部分，内容涉及计算机、多媒体和网络的...

21'ST 中学教师新概念教学百科 中学课堂思想方法与思维训练手册 （下册） 【其他书籍】

英语教学科研方法 【语言文字】

This book offers a lively introduction to the research methods and techniques available to English language teachers who wish to investigate aspects of their own practice. It covers qualitat...

教育研究方法导论 【文化科学教育体育】

《教育研究方法导论》是作者裴娣娜教授的长期教学经验的积累，并广泛地吸取了我国和西方教育科学研究的丰硕成果，全书对教育研究方法的一般原理，教育研究的构思和设计，教育研究结果的分析与评价，进行了全面系统的...