子动力学理论及其在复杂系统中的应用

软件开发的形式化方法

形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...

计算机软件版权保护的反思与超越

书稿主要讨论了两个问题：其一，如何看待软件版权保护，其二，如何看待软件专利保护。围绕这两个问题，书稿进一步谈了两方面的构想：其一，如何改进软件版权保护，其二，如何设定软件专利的授权和审查条件。此外，书......

计算机视觉基本理论和方法

本书论述了计算机视觉的基本原理和方法

计算机网络安全的理论与实践：英文

网络安全的理论与实践主要有两个大的方面。一是以计算机密码学为根基而建立起来的各种网络安全协议、相应的工业化标准及其软件的开发和芯片的研制，以算法设计为主导；二是为弥补系统和软件漏洞而发展出来的方...

社会舆情的网络分析方法与建模仿真

电力网络的计算机辅助分析

计算机网络的组织与管理

电路网络的计算机辅助分析

复杂网络控制技术：影印版

复杂网络理论是近年来复杂系统科学研究中的一个主要热点领域，本书着眼于电力网络、柔性制造、移动通信等典型复杂网络系统中的建模、控制、负荷调度、稳定性及性能分析等若干基本共性问题，综合了作者多年来对...