大约有10,976项符合查询结果项。(搜索耗时:0.1549秒)
为您推荐: 微分形式与外 代数拓扑中微分形式 可视化微分几何和形式 微分形式 微分形式入门 微分形式及其应用
-
形式感+ 网页视觉设计创意拓展与快速表现
晋小彦编著2014 年出版243 页ISBN:9787302346395随着生活和沟通的全面网络化,也随之带来了更多的网页设计的相关人资需求,伴随着这个行业的薪资可观度,也越来越多的专业和非专业人士选择了加入了网页设计的队伍中,如何能够找到简单直观的设计方法成为了众多追...
-
微分几何讲义 修订版
丘成桐,孙理察著2018 年出版495 页ISBN:9787040500608本书是在作者一系列演讲的讲稿基础上整理而成的,已成为整体微分几何方面的一本经典著作。它以拓扑、代数几何为基础,以分析为主要工具,论述了几何学中的某些线性和非线性问题。本书内容包括:比较定理与梯度估计...
-
非线性微分方程多解计算的搜索延拓法
陈传淼,谢资清著2005 年出版204 页ISBN:7030151097本书作者提出了一种新的计算方法——搜索延拓法(SEM),它由两部分组成:其一是在若干个特征基的线性组合中用多方体法搜索到所有解的初值;其二是从每个初值出发,在更高维空间中用延拓法(或称同伦法)得到更准确的......
-
艺术辩证法 中国智慧形式
姜耕玉著2012 年出版434 页ISBN:7040336658作者凭借深厚的艺术理论素养和多年的创作经验,从深入考察中国文化背景、哲学渊源及中西方不同的思维方式中,进行对古代艺术辩证法资源的开发的现代阐释,发掘其特点和优势,彰显其原创的中国元素,建构了关于经验方...
-
形式化框架下置换和查找类算法的组装生成
石海鹤著2017 年出版147 页ISBN:9787030522139本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础,选取排序类和查找类算法作为研究的突破口,开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持,它由自定义泛型...
-
中国城市居民自治有效实现形式研究
徐勇主编;邓大才等著2015 年出版374 页ISBN:9787516157336本书为中国农村研究书系*智库书系专题研究第二辑。伴随大量现代工商业城市的崛起和愈来愈多的农村人口进入城市,城市治理现代化日益紧迫。城市治理是多种治理主体相互作用的结果。其中,居民自治是城市治理体...
-
-
美国冲突法理论嬗变的法理 从法律形式主义到法律现实主义
许庆坤著2009 年出版330 页ISBN:9787100066938本书主要运用历史分析和比较分析的方法,论证了美国冲突法理论从传统向现代的嬗变其实是法律形式主义和法律现实主义在冲突舞台上轮番展演的过程,揭示了美国法学理论的巨变和美国冲突法理制度的关联性。...
-
微分几何入门与广义相对论 中
梁灿彬,周彬著2009 年出版348 页ISBN:9787030240576本书中册包含4章(第11~14章)和6个附录(附录B~G)。第11~13章依次介绍时空的整体因果结构、渐近平直时空和Kerr-Newman黑洞,第14章详细讲述与参考系有关的各种问题,包括时空的3+1分解。附录B和C分别简介量子力学的数学...
-
微分方程数值分析基础教程 A First Course in the Numerical Analysis of Differential Equations
(美)伊泽莱斯(Iserles A.)著2005 年出版0 页ISBN:
