当前位置:首页 > 名称
大约有2,000项符合查询结果项。(搜索耗时:0.0179秒)
为您推荐: 论创新设计 保证正版 自立自强 论新时代科技创新 原群论旅游 旅游规划与策划 创新 走向创新型国家 徐冠华论自主创新战略 现代教学设计论2020年版 作战设计论
-
-
-
Martin-Lof类型论程序设计导论
(瑞典)Bengt Nordstrom等著;宋方敏译2002 年出版195 页ISBN:7305038326创建世界高水平大学项目资助教材:本书包括多型集合、子集合、单型集合、例子四部分内容,从计算科学的角度描述了不同的类型论,适合对计算科学基础感兴趣的研究人员阅读。 ...
-
-
-
-
-
-
-