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

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

国际出版原则与实践 【文化科学教育体育】

复混肥和功能性肥料生产新工艺及应用技术丛书 生产工艺技术 【工业技术】

本册全面系统地介绍了复混肥生产工艺新技术体系的基本原理、生产流程、工艺条件、主要设备、操作要点、有关计算及经济技术评价和安全等知识。...

公正 平等 人道 社会治理的道德原则体系 【哲学宗教】

公共物品、公共企业和公共选择 对政府功能的批评与与反批评的理论纷争 【经济】

在经济社会中，是削弱政府的作用，单靠市场力量，还是更有效地发挥政府的作用，才能解决我们所面临的经济问题？新、旧右派对混合经济中的公共部门大加抨击，本书对这种理论进行了批判，提出要更有效地发挥政府的作用......

全国各类成人高等学校招生复习考试丛书 高中起点升本、专科 学习的策略 成人通用学习及考试方法 【其他书籍】

专用线货运与货运检查 【交通运输】

狼的智慧 做人成功之原则 事业腾达之秘诀 【社会科学】

合同法诚实信用原则研究 帝王条款的法理阐释 【政治法律】

爱你，情同姐妹 30条最酷的交友原则 【社会科学】

美国兰登书屋授权出版:本书讲述：“永远诊视你的友情”、“争吵不是坏事”、“不要传谣”、“谨慎择友”、“要过的愉快”等内容。