计算系统的形式语义 下 【工业技术】

系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...

计算系统的形式语义 上 【工业技术】

系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...

云计算关键技术 【工业技术】

云计算技术是一项较新的技术，近年来发展迅速。这项技术是传统计算机技术和网络技术发展融合的产物，也是引领未来信息产业创新的关键战略性技术和手段。云计算的研究对计算机的使用方法产生重大变革，也将影响人...

云计算与Hadoop应用技术研究 【工业技术】

本书从云计算最基本的概念开始，由浅入深地带领读者领会云计算的精髓，然后全面系统地介绍了实现云计算的关键技术层和Hadoop的应用。本书阐述了Hadoop中的几个关键技术，包括Hadoop集群的挂接、Hadoop大数据处理...

面向应急管理的人工社会构建与计算实验 【政治法律】

本书首先从人工社会的基本思想开始论述，阐述人工社会的基本概念，及其发展与应用。在此基础上，论述面向应急管理的人工社会、计算实验与平行执行的ACP方法。对ACP方法的基本思想和框架，及其目前的应用和将在应急...

计算机网络实验教程 第2版＝COMPUTER NETWORK EXPERIMENTAL TUTORIAL 【其他书籍】

钢筋混凝土框架抗连续倒塌计算结构力学 【工业技术】

从最被广泛使用钢筋混凝土结构入手，因其具有坚固、耐久、防火性能好、比钢结构节省钢材和成本低等优点。但需要指出的是，本书所讲授计算方法并不局限于钢筋混凝土结构，亦可利用合适的材料模型以应用于其他类型...

普通高等学校网络工程专业规划教材 计算机网络综合实训 【工业技术】

可信计算远程证明与应用 【工业技术】

可信计算是信息安全的一种新技术和新的体系结构，远程证明是可信计算平台的重要功能之一。本书在国内外学者部分研究成果的基础上，介绍了作者在可信计算中的远程认证及其应用方面多年的研究成果。本书主要介绍...

云计算与物联网信息融合 【工业技术】

本书主要介绍云计算与物联网的相关概念、发展、关键技术、标准化及应用案例，强调二者之间的相互关系及作用，深入分析了云计算和物联网对信息技术带来的深刻变革，并分享了作者们在实施云计算和物联网“落地”过...