形式化框架下置换和查找类算法的组装生成

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

计量置换理论及应用

本书主要介绍作者及合作者首创的计量置换理论及其应用，介绍如何从建立物理图像并从理论上推导出适用于各类液相色谱的计量置换保留理论（SDT-R），再到发展成物理化学中的计量置换吸附理论（SDT-A），如何将经验的朗缪.....

教育研究方法全攻略 教育研究加速教师教学与科研相长

怎样加速流动资金周转率 机器制造厂的经验

新产品开发加速方法研究

本书是由经济管理出版社组织国内大专院校和科研院所一所批学有所成的专家学者撰写的经济学、管理学系列丛书。该套丛书学术性较强，力图在尽可能吸收国内外前人成果的基础上，结合中国的实际进行本土化的研究和...

我们世界的历史 3 大加速时代

《我们世界的历史》按时间序列和历史阶段特点共分八个篇章，概述了人类从诞生之初直至21世纪的历史，突出分析了若干影响着人类发展的重大事件和进程，但强调指出，历史始终是惯性和革新相互作用的结果。这是第三册...

大学英语进阶听力教程 第4册 加速进取

大学英语进阶听力教程第4册，含有著名人士、出国留学、结婚及婚礼习俗、政府机构、科学与技术、暴力及犯罪、环境、演说、诚实、战争与和平、文化、社会问题、语言学习、经济、健康及医疗保险等主题内容。...

加速中国可再生能源商业化能力建设发展战略

本书汇集了中国和联合国的合作项目“加速中国可再生能源商业化能力建设项目”的丰硕成果。

人民日报文选 第2辑 依靠群众就能加速工业化

加速流动资金周转是提高社会主义再生产速度的来源