形式化框架下置换和查找类算法的组装生成 【工业技术】

本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型...

交通土建类专业学生顶岗实习指导书 含记录本 【交通运输】

本书根据高等院校交通土建类相关专业学生顶岗实习岗位工作内容、教育部等部委印发的《职业学校学生实习管理规定》编写，本书采用项目课程结构，以任务为驱动开展项目教学。全书共十个项目，主要包括顶岗实习准备...

中国经济展望报告 2017 供给侧改革与经济波动 【经济】

本书是北京大学经济研究所及其专家库学者对“十三五”规划初期中国经济金融形势的研究报告。本书系统论述了本轮经济周期中宏观经济运行的结构变化特点、主要矛盾以及影响经济稳定性的潜在风险，并在此基础上...

外国教育思想通史 第6卷 18世纪的教育思想 【文化科学教育体育】

2017国家执业药师考试 历年真题解析与避错 药事管理与法规 第2版 【医药卫生】

管理学 原理与实践 【社会科学】

本书根据国内外管理理论与实践的最新发展，结合中国管理的实际情况和需要，以及相关调查研究与咨询培训成果，历经多年编写而成。内容包括四个部分：第一部分，管理与管理学；第二部分，管理的基本职能；第三部分，管......

教育管理与教学艺术 【文化科学教育体育】

本书从教育管理、教改创新、教学科研三个方面，反映了教学工作者在教学过程中总结的新理论、新观点、新体会和新经验，同时也为教育工作者提供了一个交流学术、分享经验的平台，以期在新的环境下，为教育工作和教育...

质量管理与控制技术基础 【经济】

本书共包括7章，分别为：第一章 质量管理基础知识；第二章ISO9000族标准与质量管理；第三章质量控制基础；第四章现场质量管理技术；第五章工序质量控制技术；第六章质量检验基础；第七章先进质量管理方法。...

品牌管理 案例与应用 【经济】

本书吸取了国内外主流品牌管理体系的思想和框架，以专业性、实战性、丰富性为原则，系统介绍了品牌管理的概念、模型和工具，运用大量国内外经典与最新的案例，使读者可以较为轻松地掌握如何在企业实际经营管理过程...

一带一路 框架下两岸经济合作的方式与路径研究 【经济】