当前位置：首页 > 名称
大约有10,976项符合查询结果项。（搜索耗时：0.1551秒）
为您推荐： 微分形式与外 代数拓扑中微分形式 可视化微分几何和形式 微分形式 微分形式入门 微分形式及其应用
-
-
-
人工边界方法 无界区域上的偏微分方程数值解
韩厚德，巫孝南著2009 年出版378 页ISBN：9787302205395本书系统地介绍了人工边界方法的计算格式及其理论基础。可作为科学与工程计算专业研究生课程的教材，亦可作为科学与工程计算专业科学技术人员的参考书。...
-
-
家具设计 制图·结构与形式
叶翠仙主编2017 年出版288 页ISBN：9787122284204本书的编写结合了现代工程与家具设计制图的新方法，力求将制图理论知识与家具图样表达技能有机地结合起来。主要内容包括：家具制图与识图基础知识，家具设计程序与设计表达以及不同材料、不同结构、不同类型家具...
-
西方的没落 第1卷 形式与现实 全译本
（德）奥斯瓦尔德·斯宾格勒（Charles Francis Atkinson）著；吴琼译2006 年出版475 页ISBN：7542623796本书作者用比较形态学的方法，通过对不同文化形态作观相研究，来揭示西方文化走向没落的历史必然性。
-
-
-
计算系统的形式语义 下
陆汝钤著2017 年出版1856 页ISBN：9787302414940系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
-
计算系统的形式语义 上
陆汝钤著2017 年出版926 页ISBN：9787302414940系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
学科分类
出版时间