程向前，陈文革主编2001 年出版272 页ISBN：7505826352
本书分两部分。第一部分为绪论，主要内容包括对课程的性质、地位与任务、课程的基本内容、课程的基本要求、学习中应注意的问题等；第二部分依照指定教材的结构，以章为单位，每章包括概述、本章的基本内容、本章重...
陆汝钤著2017 年出版1856 页ISBN：9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
陆汝钤著2017 年出版926 页ISBN：9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
严曙编2003 年出版162 页ISBN：7305024503
本书为普通高校信息技术专业《计算机网络实用技术》学习参考用书。本书详细地分析了教材中的重点、难点，并给出了课后习题的参考答案，同时本书还提供了一些 经典的例题分析和一些重要网络实验的指导，以及三套...
马希文著2003 年出版604 页ISBN：7100035430
马希文(1939-2000年)为我国计算语言学尊基人.与朱德熙先生共同组建北大计算语言学研究所. 本书收集了马希文20世纪70年代以来在数学、计算机科学、人工智能、语言学（包括计算语言学）方面的重要论述20...
杜树春编著2019 年出版335 页ISBN：9787302524816
本书侧重于MATLAB软件在矩阵分析和计算上应用的介绍。由大量的MATLAB计算实例组成。本书共分10章，第1章 MATLAB基础知识介绍，第2章矩阵基础知识介绍，第3章介绍数学函数运算，第4章介绍数组生成及运算，第5章介绍矩...
