陆汝钤著2017 年出版926 页ISBN：9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
薛启翔编著2008 年出版287 页ISBN：9787122011848
本书汇集冲压模具和制造中常用的计算方法，并根据设计实际需要，配有计算速查表，介绍了冲压下料计算、工艺设计计算、冲模工作零件和结构尺寸计算、加工用尺寸计算等，并附有常用数学计算方法。...
严曙编2003 年出版162 页ISBN：7305024503
本书为普通高校信息技术专业《计算机网络实用技术》学习参考用书。本书详细地分析了教材中的重点、难点，并给出了课后习题的参考答案，同时本书还提供了一些 经典的例题分析和一些重要网络实验的指导，以及三套...
QUICK BASIC与VISUAL BASIC语言 常用化学计算方法
徐洪文编著2003 年出版220 页ISBN：7502543651
本书主要介绍了QUICK BASIC与VISUAL BASIC语言在化学计算中的具体应用。
马希文著2003 年出版604 页ISBN：7100035430
马希文(1939-2000年)为我国计算语言学尊基人.与朱德熙先生共同组建北大计算语言学研究所. 本书收集了马希文20世纪70年代以来在数学、计算机科学、人工智能、语言学（包括计算语言学）方面的重要论述20...
杜树春编著2019 年出版335 页ISBN：9787302524816
本书侧重于MATLAB软件在矩阵分析和计算上应用的介绍。由大量的MATLAB计算实例组成。本书共分10章，第1章 MATLAB基础知识介绍，第2章矩阵基础知识介绍，第3章介绍数学函数运算，第4章介绍数组生成及运算，第5章介绍矩...
