已选(0)清除
条数/页: 排序方式:
|
| 一种基于形式化可配置特征单元的特征模型 期刊论文 计算机应用与软件, 2018, 卷号: 第35卷 第1期, 页码: 44-51 作者: 苏浓光; 杨贯中
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/26
|
| 关于现行参考文献著录规则的形式化认识及建议 期刊论文 中国标准化, 2014, 期号: [db:dc_citation_issue], 页码: 103-108,121 作者: 谷松; 张静雅; 赵丽新
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:7/0  |  提交时间:2019/12/02
|
| 用于虚拟化环境的进程隔离方法研究与实现 期刊论文 华中科技大学学报(自然科学版), 2014, 卷号: 42, 期号: 11 作者: 夏忠林; 安杨; 赵波; 向騻
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|
| 业务规则形式化表达及自动化测试策略研究与应用 学位论文 2010 作者: 张士恒
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/09
|
| 类间结构型代码味道自动检测的研究 期刊论文 计算机工程, 2007, 卷号: 33, 页码: 59-61 作者: 陈丹[1]; 袁捷[2]; 缪淮扣[3]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/05/10
|
| 时态规则的形式化与度量值估计 期刊论文 2007, 卷号: 20, 期号: 2, 页码: 198 作者: 潘定[1,2]; 沈钧毅[1]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/13
|
| 基于Gestalt原则的汉字注记配置规则与形式化表达研究 期刊论文 测绘学报, 2007, 卷号: 36, 期号: 4 作者: 王争
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|
| 基于网格的面向Agent软件分析与设计建模方法及环境研究 学位论文 : 上海大学, 2005 作者: 刘炜[1]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/05/10
|
| 机器翻译与语言研究 期刊论文 语言科学, 2002 詹卫东; 常宝宝; 俞士汶
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2015/11/12
|
| 一种分析电子商务协议的新工具 期刊论文 软件学报, 2001, 卷号: 12, 期号: 9, 页码: 1318-1328 周典萃; 卿斯汉; 周展飞
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:15/0  |  提交时间:2011/07/29
|