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

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

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

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

计算机控制系统 【工业技术】

“计算机控制系统”是本科电气信息类（自动化专业的核心课程）专业主干课程，是高等教育出版社自动化专业、电气工程及其自动化专业的系列教材之一。编者根据多年教学和编写教材的基础上，汲取国内外同类教材的优缺...

计算机操作系统教程 第3版 习题解答与实验指导 【工业技术】

本书是配套的习题解答和实验参考书。

计算机与自动化系统2000年问题分析及解决方案 【工业技术】

计算机系统硬件软件可靠性理论及其应用 【工业技术】

本书包括可靠性的基本概念及数量特征；数学模型与分析；检错和纠错码理论与应用；系统的可靠性设计与维修性设计，硬件的结构设计、故障诊断等。 ...

计算机网络系统集成 【工业技术】

《计算机网络系统集成》从网络系统需求分析开始，经过投标及网络系统设计，综合布线、交换机、路由器的选型和配置、服务器的选型和配置、安全设计等各项集成工作后，到通过网络测试及验收维护结束为止。本书介绍...

高速铁路计算机联锁系统 【交通运输】

本书为高等职业教育高速铁路系列教材之一。全书共分四章，第1章车站计算机联锁系统的概念、技术要求、功能、系统组成、操作显示等；第2章详细介绍DS6-K5B型车站计算机联锁系统；第3章详细介绍ILOCK型车站计算机...

苹果计算机操作系统 【工业技术】

Mao Ox是运行于苹果计算机上的操作系统，现行版本是Mao Ox X系统（代号T iger）。本书以苹果计算机和Mao Ox X为主线，以14章的篇幅讲解了Mao Ox X以各种功能及其配套软件的使用，包括用户管理、操作系统定制、文件管...

计算机等级考试辅导 二级 FoxBASE数据库管理系统 【工业技术】