CORC

在结果中检索

CORC

浏览/检索结果: 共7条，第1-7条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
基于逻辑的形式化验证方法:进展及应用 其他
2016-01-01
陈钢; 于林宇; 裘宗燕; 王颖
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
一种缆车钢索缠绕鞭挞监测装置 其他
2015-07-16, 2015-07-16
马小平; 李硕; 葛恒清; 程德强
收藏  |  浏览/下载：1/0  |  提交时间：2017/06/15
云环境中一种面向海量稀疏数据存储的缺失值处理方法 其他
2012-01-01
陈郁馨; 程序; 赵鹏; 孟必平; 李红燕; 王腾蛟
收藏  |  浏览/下载：2/0  |  提交时间：2015/10/23
云环境中一种面向海量稀疏数据存储的缺失值处理方法 其他
2012-01-01
Chen Yuxin; Cheng Xu; Zhao Peng; Meng Biping; Li Hongyan; Wang Tengjiao; 陈郁馨; 程序; 赵鹏; 孟必平; 李红燕; 王腾蛟
收藏  |  浏览/下载：7/0  |  提交时间：2015/11/12
基于同步网的模型验证算法设计与工具实现 其他
2005-01-01
杨云毅; 赵文; 王立福; 聂承启
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/12
多值特征结构描述 其他
1999-01-01
于江生; 程民德
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/12
用于二维不定常气体力学问题的一个拉格朗日差分格式及网格的重新划分 其他
1983-01-01
李文绚; 王家浚; 钱为义
收藏  |  浏览/下载：0/0  |  提交时间：2015/10/23

©版权所有 ©2017 CSpace - Powered by CSpace