形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为...
2015.6
在Web2.0时代里，互联网上存在着大量可作为情感语料数据原型的评论，如何高效精确的获取基于这些语料的情感...
2015.4
本书介绍了并行编程的相关概念和技术。主要内容包括并行编程模式语言、并行计算的背景、软件开发中的并发性...
2014.11
本书共11章，主要内容包括并行计算概述、并行计算平台、并行算法设计基本原理、并行计算模型、并行计算性能...
2014.6
本书在介绍国内外多核学习方法及应用研究进展的基础上，重点阐述了多核方法与尺度分析的融合理论及方法；深...
2014.3
本书在介绍Intel Parallel Studio XE的过程中是按照串行代码的并行化改造的四步骤为主线展开的。按照热点代...
2013.
Jolt大奖素有“软件业之奥斯卡”的美称，本丛书精选自Jolt历届获奖图书，以植根于开发实践中的独到工程思想与...
2012.8
本书是一本学习OpenMP编译原理和实现技术的入门级教材。全书分成三篇，第一篇是并行计算机及OpenMP编程的基...
2011.
本书的阅读对象包括大中专院校学生以及利用Matlab开发并行程序的科学家和工程师。书中对对Matlab并行计算涉...
2011.9
本书共4章，结合并行结构及并行编程，讨论并行计算基础、并行计算机体系及并行编程模型与语言及实例。
2011.