图像处理与分析：变分，PDE，小波及随机方法 【工业技术】

图像处理是一个新兴的重要研究领域，在应用数学和计算机科学中占有重要的地位。该书内容非常全面，包括了很多国际上最新的科研成果，可供从事该领域学习和研究的学生和科研人员阅读参考。...

软件工程形式化方法与语言 【工业技术】

本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...

21世纪高等学校规划教材计算机科学与技术 C语言程序设计 理论、方法与实践 【工业技术】

先进的城市交通规划理论方法和模型 【工业技术】

本书系统介绍了城市交通规划的基本理论和方法，主要内容包括交通凋查与诊断、城市交通出行需求预测理论、交通分布模型、出行方式选择模型、交通分配常规模型等。...

基于SAR影像的矿区大量级地表形变监测方法研究 【工业技术】

面向对象的程序设计Turbo C++程序设计方法 【工业技术】

计算机方法在采矿工业中的应用 矿井通风部分 【工业技术】

机械工人活叶学习材料 213 谈孔加工的方法 【工业技术】

非晶合金塑性研究中的数学方法 【工业技术】

本书介绍非晶合金塑性研究中的一些常用的数学方法，以及最近几年的最新进展。这本书一方面为从事应用数学的研究者提供研究方向，也为材料学科的研究者提供可用的数学工具。...

导波光学中的转移矩阵方法 【工业技术】

上海交通大学“九五”重点教材:本书在介绍导波光学理论和转移矩阵技术的基础上，系统介绍了转移矩阵技术在多层波导、渐变折射率波导、周期性波导、多量子阱波导、泄漏波导、金属薄膜结构和金属覆盖波导中的...