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

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

政企关系演变的实证逻辑 经济转轨中的广东企业政策及其调整 【经济】

本书以广东省各级地方政府与企业关系的演变为案例，具体考察20年来广东政企关系演变的历史进程。揭示政企关系演变中各自转轨动机与能力的变化可能会更好地把握政企关系演变的轨迹，避免在政企分离中操之过急与...

真正的资本主义 【政治法律】

现代资本主义的经济关系和运行特征 【经济】

资本形成的货币金融维度 发展中国家的资本形成分析 【经济】

资本主义的社会矛盾及其历史走向 【政治法律】

本书内容包括：世界历史进程中的资本主义与社会主义；科技革命与资本主义社会的经济矛盾；资本主义社会的阶级结构与阶级矛盾；资本主义社会的政治制度矛盾等。...

当代资本主义的新变化与社会主义的新课题 【政治法律】

二战以来，发达资本主义国家的科技水平，综合实力和生活质量迅速提高，出现了一些与早期资本主义迥异的新变化经。本书通过对当代资本主义新变化的研究，试图揭示：（1）当代资本主义的根本性质没有改变，但的确已发......

20世纪社会主义的抉择 科学社会主义和民主社会主义 【政治法律】

涡轮资本主义 全球经济中的赢家与输家 【经济】

本书详细介绍了世界各国发展经济的做法及现状，精辟的分析了涡轮资本主义对当今世界经济所产生的作用。

社本论 社会主义资本论 中国社会主义市场经济条件下的资本理论与资本运营研究 【经济】