计算机集成制造 辅助设计/辅助制造/管理信息系统

逻辑公式的可满足性判定 方法、工具及应用

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

设计反思 可持续设计策略与实践

本书从系统观的角度深入探讨可持续问题、框架和策略。

全球变化背景下东亚气候年际-年代际变率及其可预报性研究

波音公司产品制造与装配手册 6M 58-950弯管手册

被展示的文化 当代“可参观性”的生产

本书作者反思了当今各种展示文化的场所，并提供了思考旅游、休闲与文化遗产的新视角。作者将各类展示的场所放置在更广阔的社会、经济和文化变迁的大背景下加以分析，包括现代旅游业、经济发展策略、对身份的展...

高科技企业雇佣关系策略研究 基于可雇佣性的雇佣关系策略模型

本书是关于高科技企业雇佣关系策略的研究。

300种实用化工产品配方与制造

本书包括清洁剂、护肤美容制剂、口腔及美发用化学品等共十四类300种产品。对每一种产品的特点、用途、原材料、配方、制备及使用方法都作了较为详细的阐述。...

岩体结构、岩体质量及可利用性研究

本书以我国第二大水电站溪洛渡坝基岩体为研究原型，深入介绍了岩体结构现场调变技术、研究方法；以岩体结构、岩石介质、岩体波速等多项量化指标研究了岩体风化的综合分带，研究了河谷岩体卸荷，用多因素指标对坝基...

产品创新管理 产品开发设计的功能成本分析