硬件设计验证 基于模拟与形式的方法 【工业技术】

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

工程估价 上 原理 方法 建筑与装饰装修工程 第2版 【工业技术】

本书全面系统地介绍了工程估价的基本原理及建设项目全寿命期工程造价管理的基本理论与方法。通过本书的学习，读者可以掌握建设项目投资估算、工程概预算编制、工程标底与工程结算的编制与审查、工程竣工决算...

新兴电子商务 商务智能方法与服务知识管理 【经济】

本专著围绕新兴电子商务的移动性、虚拟性、个性化、社会性、极端数据的新特征，凝练新兴电子商务实践中的大量科学问题和关键技术挑战，重点描述和展现近年来在新兴电子商务商务智能方法与服务知识管理等方面的...

顾客关系管理 精华理论与实务案例 【经济】

英汉翻译理论与实践 第2版 【语言文字】

现代撤销理论与技巧 第3版 【经济】

会计信息系统原理与应用 【经济】

本书共分14章，在第1章中简要介绍了会计信息系统的相关概念、发展历程、用友ERP-U8的主要功能及课程的学习建议。在第2～14章以用友ERP-U8 872为蓝本，分别介绍了构成会计信息系统最重要和最基础的系统管理、企业...

导向标识 图形导航系统的设计与实施 【艺术】

路标是城市中不可或缺的一部分，给人们日常生活出行做基础指导；也是城市高效率运转的基本设施。本书主要阐述了图形导航系统的设计和实施，包括图形的形状、颜色和类型等。本书从室内和室外的设计，平面和空间的设...

软件工程 共同演进的方法与实践 【工业技术】

本书涵盖IEEE和ACM联合研究项目——SWEBOK（工程知识体系）包含的10个知识领域的主要内容，主要介绍软件工程的背景知识、软件过程模型、需求分析、需求建模、设计工程、体系结构设计、编码和新的技术趋势需求、...

高等院校设计学精品课程规划教材 设计思维与方法 【艺术】

本书的主要内容：1、了解各种创新设计思维的基础知识和有关理论，掌握各类创新思维的重要案例的分析方法，认识的创新思维基本方式。2、进行各类创新思维方法训练，培养学员进行创新思维的良好习惯。3、掌握创新思...