当前位置：首页 > 名称
大约有2,000项符合查询结果项。（搜索耗时：0.0167秒）
为您推荐： 作战体系设计 论创新设计 论创新设计 保证正版 现代教学设计论2020年版 空战作战环境仿真设计 作战
-
-
-
Martin-Lof类型论程序设计导论
（瑞典）Bengt Nordstrom等著；宋方敏译2002 年出版195 页ISBN：7305038326创建世界高水平大学项目资助教材:本书包括多型集合、子集合、单型集合、例子四部分内容，从计算科学的角度描述了不同的类型论，适合对计算科学基础感兴趣的研究人员阅读。 ...
-
-
动态贝叶斯网络及其在自主智能作战中的应用
史建国，高晓光著2008 年出版121 页ISBN：9787801729781本书作者在总结已有的贝叶斯网络和动态贝叶斯网络理论和方法的基础上，加入最新研究成果。
-
-
-
-
-
学科分类