教程及全真模拟试卷精解 专科起点升本科 师范类 教育管理专业 【文化科学教育体育】

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

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

吉林省生态环境及生态省建设的研究 【环境安全】

本书共分十章，对电视广告的基本特点和它的研究内容等进行了详细的阐述，并结合实例对广告的制作、策划、创意、定位、语言、脚本写作等方面进行了探讨和分析，既可作为大中考院校教材，也可供广告的从业人员学习。...

新编中学英语词汇用法及考点手册 【文化科学教育体育】

本书对每个词条首先给出所有“词性”，然后在“用法”中用典型例句逐一说明各词性基本用法：“相关短语”单独列出且同样附以典型例句，这样可通过掌握句子和短语来学习单词：全书将每个词条中学生容易混淆、用错、...

建筑物、水体、铁路及主要井巷煤柱留设与压煤开采规程 【工业技术】

MATLAB高级应用 图形及影像处理 【工业技术】

本书系统介绍了利用MATLAB实现工程计算及其运算结果的可视化技术以及可视影像在MATLAB中的数字化处理技术，属于MATLAB的高级应用。本书理论与实际并重，内容丰富，通俗易懂，并附有大量的应用实例，是学习和应用MATL...

中国土木工程学会隧道及地下工程分会第十一届年会论文集 【交通运输】

中国企业改革 所有制、转轨及经营业绩 【经济】

世界银行研究报告。本书记述了中国经济改革的影响，阐释了为什么与东欧、甚至俄罗斯的更为雄心勃勃的改革方案比较起来显得较为逊色的改革却取得了如此广泛的效果，书中收集了11项协调性的研究。...

CCNP Advanced Cisco Router Configuration 复习重点及模拟试题 英文原版 【工业技术】

农业推广、兽医硕士专业学位英语全国统一 联合 考试大纲及复习指南 【语言文字】