全国高等教育法律专业自学考试指导与训练 公司法 【政治法律】

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

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

计算机辅助绘图与设计 AutoCAD R14上机指导 【工业技术】

本书介绍了辅助绘图部分，以平面图形、零件图，装配图等知识。

高等数学学习指导与解题训练 概率论分册 【数理化】

本书分为六章，每章由知识点考点精要、典型题真题精解、教材习题同步解析，模拟试题自测四个板块构成。

最新医药卫生体制改革工作指导全书 中 【医药卫生】

本书包括Photoshop轻松入门，图层的应用技巧，建立与编辑路径，调整色彩与色调，特效字体的制作实例等方面的内容。

最新医药卫生体制改革工作指导全书 上 【医药卫生】

本书包括Photoshop轻松入门，图层的应用技巧，建立与编辑路径，调整色彩与色调，特效字体的制作实例等方面的内容。

国家执业医师资格考试公卫助理医师应试指导 【医药卫生】

2000年注册会计师全国统一考试应试指导及全真模拟测试 【经济】

计算机网络基本原理自学考试指导 【工业技术】

本书为全国高等教育自学考试计算机网络专业的“计算机网络基本原理”课程的自学考试指导书，对该课程的教学内容重点和难点做了简明的说明，使学生在自学和考前复习中能抓住重点。...

儿童文学课程学习指导书 【文学】

小学教师进修高等师范专科小学教育专业(文科方向):本书与教育部师范司推荐的小学教师进修高等师范专科小学教育专业教材《儿童文学引论》、《儿童文学作品选读》配套使用。全书与教材一致，分阶段论、文体论...