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

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

均衡认知负荷的人机界面信息编码和研究 【工业技术】

随着计算机技术和信息控制理论的快速发展，系统变得更加复杂和智能化。特别是交通枢纽监控、核电控制、环境监测、航空驾驶操纵等重大系统领域以计算机技术为依托，完全以数字化、智能化的信息系统进行运作、监...

现代生活之常用诀窍 【工业技术】

现代建筑表皮认知途径与建构方法 【工业技术】

本书研究通过调查、收集、绘制，整理了大量现代建筑表皮的设计案例，提出了独到的见解：1、借助于认知心理学、设计符号学、现象学、类型学、生物学等领域的理论和方法对现代建筑表皮展开全面系统的跨学科研究，深...

基于语义的分布式服务与资源发现 【工业技术】

本书通过对现有网络服务的深入分析和研究，发现各种网络完成服务（业务）的机理和原理非常类似，即所有服务（业务）首先建立连接，然后这个连接再基于交换路由进行选路，实现数据传输。在这种共性机理的基础上，一体......

计算机常用算法的设计与分析研究 【工业技术】

计算机算法是计算机科学和计算机应用的核心。本书以算法设计策略为主线，系统介绍了算法的设计方法和分析技巧。书中既涉及传统算法的实例分析，更有算法领域热点研究课题的追踪，具有较高的实用价值。本书主要内...

现代煤矿电工常用技术手册 第2册 【工业技术】

现代煤矿电工常用技术手册 第3册 【工业技术】

现代煤矿电工常用技术手册 第1册 【工业技术】

现代煤矿电工常用技术手册 第4册 【工业技术】