当前位置：首页 > 名称
大约有10,976项符合查询结果项。（搜索耗时：0.1843秒）
为您推荐： 微分形式与外 代数拓扑中微分形式 可视化微分几何和形式 微分形式 微分形式入门 微分形式及其应用
-
-
面向对象软件的形式验证技术
文志诚著2011 年出版172 页ISBN：9787811186482本书收录了2007年上海大学博士学位论文57篇，通过公开出版，使论文作为公共知识，转化成社会财富。产生社会影响。
-
-
-
-
-
-
-
-
学科分类
出版时间