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

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

MBA、MPA、MPAcc管理类联考英语 2 语法精讲精练 【语言文字】

本书由中公教育研究生考试研究院精心编写，定位于英语（二）语法的专项提升。全书共包括七章。前6章分别主讲名词、动词、其他词、五大基本句型、三大复合句、六大特殊结构等，按照词法到句法的认知顺序编排，并依照....

康复医学专业医疗质量报告 【医药卫生】

管理信息系统 英文版 精要版 【社会科学】

本书是英文影印版教材，原著是国外一本经典的管理信息系统教材，全面系统地介绍了管理信息系统的整体框架，包含了概念、结构、技术和应用等各个层面的内容，反映了美国的最新研究成果。全书致力于为全球化背景下企...

信息资源检索 理论·技巧·训练 【文化科学教育体育】

本书系统介绍了信息检索基本概念、检索语言、检索工具的构成特点和各种类型的网络资源，兼及手工检索工具书的使用。本书通过实例详细介绍了课题分析和制定检索策略的方法，深入剖析了搜索引擎的高级检索功能和...

企业信息化案例集 【经济】

本书以中国矿业大学（北京）管理学院谭章禄课题组自2003年以来针对煤炭企业开展的信息化项目为实践基础，总结归纳相关教学知识点，通过教学案例的方式引出和阐释信息管理相关内容。全书的包括图片展示和案例展示两...

信息系统领域科技发展报告 【医药卫生】

本书研究军用信息系统体系架构技术以及指挥控制、通信（含数据链）、探测与识别（含目标特性）、情报侦察、战场环境信息、信息安全、云计算、大数据技术等的发展态势和重大技术动向，包含年度综述篇、专题报告篇和大...

信息资源管理研究进展 【文化科学教育体育】

我国信息化发展进程中，信息资源的开发与利用已成为信息化向纵深发展的关键。信息资源管理研究的发展趋势和重点也日趋明显。未来促进信息资源管理领域的研究和进展，武汉大学信息资源中心组织了《信息资源管理...

大数据下图书馆信息服务模式研究 【文化科学教育体育】

本书首先分析大数据对当下生活的影响，接着分析了如何利用大数据为我们的生活的世界服务，从世界图书馆及中国图书馆的发展变迁史，来说明图书馆在人类文明发展史的重要性。分析了大数据下数字图书馆信息服务的内...

国外电子与通信教材系列 数字图像处理 第3版 【工业技术】