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

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

手筋 精讲与精练 中级篇 【文化科学教育体育】

少儿围棋基础训练丛书之一，本册专题讲解围棋中级手筋。本书介绍了分断、封锁、破坏棋形、搜根等进攻手筋；还介绍了连接、出头、整形等防守手筋。本书配有600道专项练习题附答案，是少儿围棋学习者提高实战能力...

商业经济专业知识与实务 中级 【经济】

本书是根据人事部发布的《经济专业技术资格考试暂行规定》及其实施办法，以及新的经济专业技术资格考试大纲编写的。

《中级财务会计》学习指导与练习 【经济】

本书是21世纪会计学系列教材《中级财务会计》的配套习题用书。共16章，每章内容包括章节知识要点、习题、习题答案三个部分。

劳动经济专业知识与实务应试指导 初、中级 【经济】

交点间断Galerkin方法 算法、分析和应用 【数理化】

本书介绍了最新的一种高精度高效率的计算方法，即交点间断Galerkin方法。这是有限元方法对于具守恒性质的物理与工程问题的一个高精度应用。该书详述了方法的背景、理论及其在几个重要方面的应用。该书给出了...

环境保护标准原理方法及应用 【环境安全】

本书拟较为系统、详尽地介绍标准基础知识和国内外环境标准现状，探讨环境标准内部体系问题和外部法律环境问题，阐述环境基准、环境质量标准和污染物排放标准的原理和制订实施方法，展示环境标准的实施体系、案例...

计量经济模型在中国股票市场的应用 中国双重上市公司a、b、h股价格差异实证分析 【其他书籍】

财政（财政类）专业知识与实务 中级 新版本 【经济】

中级维修电工理论与实训教程 【工业技术】

本书内容包括职业技能鉴定导引、应知（理论知识）、应会（操作技能）和职业道德等必学知识。