当前位置:首页 > 名称
大约有60,000项符合查询结果项。(搜索耗时:0.0344秒)
为您推荐: 眼耳鼻咽喉科护理学第五版实践与学习指导 概率论与数理统计 理工类第五版 线性代数与解析几何第三版 统计预测和决策 第五版 数学分析华东师范大学第五版 文学理论教程第五版
-
-
-
进程代数 对称与动作细化 【工业技术】
王永祥,吴心昭,蒋建民著2007 年出版88 页ISBN:7030188659本书针对进程代数语言提出了对称性的概念,并给出了对称约简算法,同时证明了约简后的进程与原进程是交织迹和交织互模拟等价的,最后提供了两个有意义的实例来说明对称性的定义以及验证约简算法的正确性。...
-
-
-
-
-
-
-
学科分类
