大约有2,610项符合查询结果项。（搜索耗时：0.4027秒）
为您推荐： 微分形式导论 微分形式与外 代数拓扑中微分形式 可视化微分几何和形式 微分形式入门 微分形式及其应用
-
软件工程形式化方法与语言
李莹，吴江琴著2010 年出版200 页ISBN：9787308066679本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...
-
-
-
-
两类“相对论”形式逻辑分析
杨本洛著2011 年出版336 页ISBN：9787313069245本书主要涉及“相对论”数学基本问题的若干文章，与Maxwell的电磁场经典理论体系仍然崇尚“经验事实”基础，只因为理性认识和数学功能工具的历史局限性几乎必然隐含许多逻辑不当完全不同，两类“相对论”以及他...
-
变分分析与广义微分 I 基础理论
（美）BorisS.Mordukhovich著；赵亚莉等译2011 年出版516 页ISBN：9787030321787本书是变分分析微分学理论的专著，深入全面地论述了变分分析最新理论，特别是广义微分学理论及其应用。本书主要内容是在无限维Banach空间的框架下展开的，但也包括有限维的情形。原作者Mordukhovich是国际上公认...
-
微分几何基础 英文版
（美）Barrett ONeill2009 年出版503 页ISBN：9787115195371本书介绍曲线和曲面几何的入门知识，主要内容包括欧氏空间上的积分、帧场、欧氏几何、曲面积分、形状算子、曲面几何、黎曼几何、曲面上的球面结构等。修订版扩展了一些主题，更加强调拓扑性质、测地线的性质，向...
-
偏微分方程 第三版3
陈祖墀编著2008 年出版261 页ISBN：7040235870本书普通高等教育“十一五”国家级规划教材，书中对偏微分方程的古典理论作了严谨的介绍和论证，还在内容、概念与方法等方面注意了与现代偏微分方程知识的内在联系，对现代知识作了基本的阐述，注意各个数学分支知...
-
基于偏微分方程的遥感图像处理方法
王毅编著2015 年出版81 页ISBN：9787562537717本书将遥感图像的特征以及偏微分方程处理的特点相结合，叙述了偏微分方程图像分析的基本概念及研究框架，并重点阐述了各向异性扩散技术在图像处理中的应用，以此作为遥感应用的方法基础；并以遥感图像增强和去噪的...
-
实验与形式 古今波兰艺术与中波艺术交流
（波）雅谷比，陈淑君编；何娟译2012 年出版271 页ISBN：9787545203516本书由24篇论文组成，它们分别从概述、历史、中波两国各个历史时期的艺术代表作品等角度论述欧洲背景下的波兰艺术，以及中国艺术与波兰艺术之间的关系等论题。该内容在国内艺术研究论著中独树一帜，具有较高的研...