机构

• 软件研究所 [11]
• 计算技术研究所 [2]
• 新疆理化技术研究所 [1]

采集方式

• OAI收割 [14]

内容类型

• 期刊论文 [12]
• 学位论文 [2]

发表日期

• 2019 [1]
• 2008 [1]
• 2006 [3]
• 2005 [1]
• 2003 [1]
• 2002 [3]
• 更多

学科主题

筛选

浏览/检索结果: 共14条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 基于子词信息的维吾尔语词项规范化 期刊论文  OAI收割 厦门大学学报(自然科学版), 2019, 卷号: 58, 期号: 2, 页码: 217-224 作者:  张新路;  王磊;  杨雅婷;  米成刚   |  收藏  |   BPMN到BPEL2.0的模型转换方法 期刊论文  OAI收割 计算机应用研究, 2008, 卷号: 25, 期号: 11, 页码: 3363-3366 魏明; 夏永霖; 魏峻   |  收藏  |   对一类多级安全模型安全性的形式化分析 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超   |  收藏  |   具有冲突约束的RBAC模型的形式化规范与证明 期刊论文  OAI收割 计算机研究与发展, 2006, 卷号: 43, 期号: z2 袁春阳; 贺也平; 何建波; 周洲仪   |  收藏  |   基于模型检查实现J2EE规范的实例研究 期刊论文  OAI收割 计算机科学, 2006, 卷号: 33, 期号: 12, 页码: 249-254 李彦; 张文博; 陈宁江   |  收藏  |   J2EE平台中分布式事务互操作的研究与实现 期刊论文  OAI收割 计算机科学, 2005, 卷号: 32, 期号: 7, 页码: 1-4,43 张勇; 胡剑军; 陈宁江   |  收藏  |   一种将设计模式用于程序精化演算的并行程序设计方法研究 期刊论文  OAI收割 计算机研究与发展, 2003, 卷号: 40, 期号: 2, 页码: 318-324 万剑怡; 孙永强; 薛锦云   |  收藏  |   带有时钟变量的线性时序逻辑与实时系统验证 期刊论文  OAI收割 软件学报, 2002, 卷号: 13, 期号: 1 李广元; 唐稚松   |  收藏  |   基于XYZ/E描述和验证容错系统 期刊论文  OAI收割 软件学报, 2002, 卷号: 13, 期号: 5 郭亮; 唐稚松   |  收藏  |   基于PVS的密码协议形式化规范 期刊论文  OAI收割 中国科学院研究生院学报, 2002, 卷号: 19.0, 期号: 003, 页码: 233 作者:  Zheng Yuan;  Hu Chengjun   |  收藏  |