陆汝钤著2017 年出版926 页ISBN：9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
薛启翔编著2008 年出版287 页ISBN：9787122011848
本书汇集冲压模具和制造中常用的计算方法，并根据设计实际需要，配有计算速查表，介绍了冲压下料计算、工艺设计计算、冲模工作零件和结构尺寸计算、加工用尺寸计算等，并附有常用数学计算方法。...
严曙编2003 年出版162 页ISBN：7305024503
本书为普通高校信息技术专业《计算机网络实用技术》学习参考用书。本书详细地分析了教材中的重点、难点，并给出了课后习题的参考答案，同时本书还提供了一些 经典的例题分析和一些重要网络实验的指导，以及三套...
杜树春编著2019 年出版335 页ISBN：9787302524816
本书侧重于MATLAB软件在矩阵分析和计算上应用的介绍。由大量的MATLAB计算实例组成。本书共分10章，第1章 MATLAB基础知识介绍，第2章矩阵基础知识介绍，第3章介绍数学函数运算，第4章介绍数组生成及运算，第5章介绍矩...
胡道元编著2005 年出版376 页ISBN：7302102694
本书阐述通信的基本概念和计算机网络的基本原理，包括计算机网络体系结构和协议、数据通信的基本方法、主要网络技术与应用，以及网络管理和网络安全，使读者对计算机网络有全面而较深入的理解。参照〈中国计算机...
