基于Python的智能文本分析 【工业技术】

Z形式规约切片的研究 【工业技术】

本书包括基于依赖性分析的Z形式规约切片及形式化描述，基于关系演算的Z形式规约切片，变量定义和使用情况的探讨，Z形式规约切片在提升和定理证明中的应用以及基于依赖性分析的Z形式规约度量。...

基于知识的软件智能化技术 【工业技术】

国家九五重点图书:本书内容包括：知识表示、基于范例的推理、综合集成和信息基础的智能化等。

密码协议形式化分析 【工业技术】

本书介绍了密码协议所涉及的一些密码学基础知识，密码协议的概念等。

形式语言、自动机和语法分析 【工业技术】

基于Proteus的模拟电路分析与仿真 【工业技术】

基于多分辨分析理论的图像融合方法 【工业技术】

基于Proteus的数字电路分析与设计 【工业技术】

基于能量耗散的岩石破坏研究及岩质边坡稳定性分析 【工业技术】

岩石破坏是岩石力学研究的一个基本内容，也是研究岩石工程安全性的关键。作为一种天然材料，岩石（岩体）的破坏非常复杂，采用弹塑性力学方法具有很大的局限性。能量是一种描述材料破坏过程的基本物理量，能量耗散是.....

基于MATLAB的系统分析与设计 4 小波分析 【工业技术】

本书阐述了小波分析的基本理论和基于MATLAB 7.x小波工具箱的系统分析与设计方法。