当前位置：首页 > 名称
大约有22,159项符合查询结果项。（搜索耗时：0.1273秒）
为您推荐： 微分形式 可视化微分几何和形式 微分形式与外 微分形式及其应用 数学物理中的微分形式_ 微分几何入门与广义相对论 中册
-
-
-
-
-
-
-
-
-
微分几何中嘉当的活动标架法和外微分系统初步
（美）艾维，（美）兰茨贝格著2017 年出版380 页ISBN：9787040469172本书介绍了微分几何的嘉当方法。嘉当几何的两个中心方法是外微分理论和移动标架方法，本书对它们做了深入和现代化的处理，包括它们在古典和现代问题中的应用。本书一开始用移动标架的语言讲述了经典曲面几何和...
-
计算机语言的形式语义
陆汝钤编著1992 年出版886 页ISBN：7030030222中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容
学科分类
出版时间