机构

• 金属研究所 [1]
• 高能物理研究所 [1]
• 软件研究所 [1]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [3]

发表日期

• 2011 [1]
• 1994 [1]
• 1990 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 一种面向Web服务源程序的谓词抽象验证方法 期刊论文  OAI收割 苏州大学学报(工科版), 2011, 期号: 2, 页码: 14-19 任强; 张广泉   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/10/10 Web服务  模型检测  谓词抽象  源程序   COM命令文件的源程序编写格式及编译过程的批处理 期刊论文  OAI收割 计算机文汇, 1994, 期号: 1, 页码: 13 陈怀宁 收藏  |  浏览/下载：4/0  |  提交时间：2012/04/12 汇编源程序  编译  连接   北京谱仪数据离线分析系统 期刊论文  OAI收割 核电子学与探测技术, 1990, 期号: 6, 页码: 343-349 作者:  王泰杰;  刘琦;  阮同泽;  刘悦军;  何矩 收藏  |  浏览/下载：22/0  |  提交时间：2015/12/21 数据离线分析  蒙特卡罗模拟  数据重建  源程序管理