本书系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形式理论等内容。此外，还增加了当今非常热门的一个研究内容，即生物系统的形式化描述问题。内容全面丰富，文笔流畅，可读性强，是一本难得的学术专著。

📙 相关书籍

  1. 《计算系统的形式语义 下》高清PDF 本书系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形式理论等内容。此外，还增加了当今非常热门的一个研究内容，即生物系统的形式化描述问题。内容全面丰富，文......
  2. 《超立方体在测距数论和计算机科学中的应用》高清PDF 本书介绍了N维超立方体模型的形体结构基本原理、测距法描述整数之间关系及其在计算机科学中的应用。全书共分9章，第1章概述本书的主要内容；第2章论述四～六维超立方体模型和一字形N维超立方体形体组合原理；第3章论述简化的N维超立方体结构原理；第4章提出了码距互连网络原理，测量整数之间距离并给出整数纠错编码......
  3. 《基于全站仪与普通数码相机的大型物体三维形貌测量方法的研究》高清PDF 为实现大型物体整体三维形貌的测量，通常需要在远距离处使用长焦距镜头对其进行拍摄。长焦距镜头的使用必然会减小相机的视场角、增大成像参数间的耦合程度，此时，对所有相机成像参数同时进行优化求解时将经常出现方程奇异无法求解或参数计算结果精度较低的情况。本书对图像的透视变形进行了详细分解，从透视变形的角度深入......
  4. 《动态多目标优化进化算法及其应用》高清PDF 本书在全面总结国内外在动态多目标优化及其进化计算发展现状、基础理论及实现技术的基础上，着重介绍了作者在基于进化计算的动态多目标优化方面的研究成果，主要包括：动态多目标优化及其进化计算的国内外研究进展、进化计算的理论及其技术实现、基于进化计算的动态无约束、动态约束多目标优化模型、方法，定义在离散时间空......
  5. 《生物特征的安全计算理论与技术》高清PDF 本书侧重论述了基于单、多生物特征身份认证与加密的核心理论模型与应用技术，分析了现今生物特征身份认证与生物特征加密技术的重要文献及其作者的重要思想，从作者独立研究的角度重点介绍了生物特征在安全计算中两个重要领域的技术与应用。...
  6. 《计算机双目立体视觉》高清PDF 本书是一本比较全面和系统研究计算机双目立体视觉理论、技术及其应用的学术专著。本书在介绍双目视觉基本原理的基础上……...
  7. 《计算机难解问题的骨架理论与应用》高清PDF 本书主要介绍面向计算机难题问题的骨架特征的挖掘及其算法设计。本书首先介绍了计算复杂性理论，并简要归纳了经典启发式算法及超启发式算法。随后介绍了获取骨架的有效方法，并系统总结了现有的各种基于骨架的算法。...
  8. 《加权概念格理论与应用》高清PDF 全书共分为5章，第1章概括介绍了数据挖掘、概念格和图像语义自动标注的相关理论。第2-4章详尽地阐述了加权概念格的理论，主要包括加权概念格的定义、权值获取方法、加权概念格的代数系统及其知识表示的完备性，以及加权概念格的构造方法等。第5章重点介绍了加权概念格在图像语义自动标注中的应用。...
  9. 《形式语义学研究》高清PDF 本书介绍了经典形式语义学理论的两个重要代表——塔斯基真值语义理论和蒙太格语法，描述了动态语义学理论——话语表现理论，着重探讨了分段式话语表现理论，对汉语复句、句群研究与分段式话语表现理论进行了对比研究，发现它们之间存在许多相同或相似之处。...
  10. 《《政府部门信息安全管理基本要求》理解与实施》高清PDF 本书内容包括：信息安全基础知识；GB/T29245-2012《政府部门信息安全管理基本要求》概述；GB/T29245-2012《政府部门信息安全管理基本要求》精读；政府部门信息安全合规性实施路线等。...

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。