已选(0)清除
条数/页: 排序方式: |
| 无权访问的条目 期刊论文 作者: 张 珩; 沈海华
Adobe PDF(310Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/15 |
| 无权访问的条目 期刊论文 作者: 孙书韬; 贺思敏; 郑燕峰; 高 文
Adobe PDF(488Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/15 |
| 无权访问的条目 期刊论文 作者: 罗杰文; 史忠植; 王茂光; 林 芬
Adobe PDF(591Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/15 |
| 无权访问的条目 期刊论文 作者: 石学林; 张兆庆; 武成岗
Adobe PDF(383Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/15 |
| 无权访问的条目 期刊论文 作者: 丁国栋; 白 硕; 王 斌
Adobe PDF(428Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/15 |
| 文本检索的统计语言建模方法综述 期刊论文 计算机研究与发展, 2006, 卷号: 43.0, 期号: 005, 页码: 769 作者: 丁国栋; 白硕; 王斌
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 信息检索 统计语言建模 语言模型 平滑 |
| 龙芯2号微处理器的功能验证 期刊论文 计算机研究与发展, 2006, 卷号: 43.0, 期号: 006, 页码: 974 作者: 张珩; 沈海华
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 功能验证 结构验证 处理器设计 模拟仿真 形式化验证 |
| 基于动态描述逻辑的多主体协作模型 期刊论文 计算机研究与发展, 2006, 卷号: 43.0, 期号: 008, 页码: 1317 作者: 罗杰文; 史忠植; 王茂光; 林芬
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 动态描述逻辑 主体 多主体系统 协作 |