形式语义学引论 第2版 【工业技术】

本书包含三个内容：操作语义学、指称语义学和公理语义学，但不包括代数语义学。本书涉及非确定性和并发性，也介绍了一些时态语义。本书的前三章以一个简单的程序设计语言为例，介绍操作语义学、指称语义学和公理语...

计算机数学基础 第2版 【工业技术】

本书是教育部高职高专规划教材，针对计算机专业的特点，加强了Mathematica数学软件的应用，在编写上力求体现以下特点：1．每章单列一节“演示与实验”，主要介绍Mathematica数学软件的演示功能与计算（符号计算与数值计...

俄罗斯大型特大型油气田地质与开发 第2卷 【工业技术】

Rational统一过程引论 第2版 【工业技术】

本书是软件工程领域一本卓负盛名的经典著作，自问世以来取得了具大成功，被众多软件开发人员所推崇。本书的中文版在国内也很畅销，我们希望英文版的引入会让众多国内读者有机会直接面对这一权威著作，深刻领会Rati...

工程数学 数学物理方程 【工业技术】

高等学校教学用书:本书共分7章

高等数学与工程数学 【工业技术】

本书内容以数学实验的形式，增设了利用数学软件解决实际计算的内容。

工程数学 数学物理方程·特殊函数 【工业技术】

工程数学 数学物理方程与特殊函数 【工业技术】

高等数学与工程数学 下 【工业技术】

本书主要向读者介绍多元微积分、级数、线性代数、概率统计基础等知识。

工程数学 数学物理方程与特殊函数 【工业技术】