λ-演算的语法和语义

利用计算机的机械设计演算

工业化学计算 第2章 数学演算与图解

作业研究导论 计算机用演算法趋近

MATLAB语言 演算纸式的科学工程计算语言

张培强主编.MATLAB语言演算纸式的科学工程计算语言.合肥：中国科学技术大学出版社

中国古典建筑思想四论

本书虽曰“四论”，却对于影响、决定中国古典建筑内涵与形式的基本理论（气化感应论）和主要学说（如儒、道思想等）进行了系统的论辨，揭示了传统主要建筑样式（如宫室建筑、礼制建筑和古典园林等）存在、演变的思想......

通信与移动系统 π演算

通信是计算机的一个基本的、不可缺少的部分。通信可能发生在网路上的不同计算机之间，也可能发生在同一台计算机的各个部件之间。在本书中，作者介绍了一种为通信建模的新方法，其特点是将计算机及其程序都看作是...

密码学-加密演算法

密码学的研究与应用已有几千年的历史，但作为一门科学是20世纪50年代才开始的。不可否认，互联网的广泛应用大大推动了密码学的研究与发展。大多数国家和地区都成立了密码学学会，这些学会定期召开学术会议进行学...

传值CCS和∏－演算互模拟等价的验证理论和算法

本书内容提出对转子系统中存在的复杂非线性行为展开研究，并对非线性行为的辨识方法以及基于混沌理论的转子故障时期诊断新方法进行了深入研究与探讨。本论文主要完成两个方面的研究工作；从碰摩转子实验系统中...

我爱厨房 河海两鲜