机构

• 计算技术研究所 [1]
• 数学与系统科学研究院 [1]
• 过程工程研究所 [1]
• 软件研究所 [1]
• 紫金山天文台 [1]

采集方式

• OAI收割 [5]

内容类型

• 期刊论文 [5]

发表日期

• 2008 [1]
• 2005 [1]
• 1997 [1]
• 1991 [1]
• 1987 [1]

学科主题

• 天文和天体物理 [1]

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 测试顺序选择策略研究 期刊论文  OAI收割 计算机工程与设计, 2008, 卷号: 29, 期号: 4, 页码: 781-783 李都 收藏  |  浏览/下载：60/3  |  提交时间：2011/06/10 测试顺序  动态绑定  测试桩  面向对象程序  测试成本  测试顺序  顺序选择  面向对象  动态绑定  测试成本  选择算法  选择策略  相关工作  程序语言  测试桩  特征  目标  考察   基于CTL的SOCIP核的测试技术 期刊论文  OAI收割 计算机工程与科学, 2005, 卷号: 27.0, 期号: 004, 页码: 43 作者:  吴明行;  韩银和;  李晓维   |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04 核测试语言  CTL语言  SOCIP核  测试技术  程序语言   Tuili—Ⅱ里的属性谓词及其实现 期刊论文  OAI收割 计算机学报, 1997, 卷号: 20.0, 期号: 010, 页码: 878-883 作者:  高全泉   |  收藏  |  浏览/下载：9/0  |  提交时间：2021/01/14 属性谓词  人工智能语言  程序语言  Tuili－Ⅱ   计算机科学与逻辑学 期刊论文  OAI收割 自然杂志, 1991, 卷号: 14, 期号: 22, 页码: 832-837 王元元; 汪灵华; 骆光武 收藏  |  浏览/下载：25/0  |  提交时间：2012/03/03 计算机科学理论:5679  逻辑型程序设计语言:3832  可计算函数:3711  图灵机:2943  一阶逻辑:2718  可计算性理论:2402  计算理论:2204  演绎数据库:2075  程序语言:2048  关系数据库:2024   VAX-11/780计算机系统软件资源的综合利用 期刊论文  OAI收割 计算机与应用化学, 1987, 期号: 02, 页码: 151-157 作者:  龚山陵 收藏  |  浏览/下载：18/0  |  提交时间：2014/08/27 计算机系统软件  VAX-11/780  软件资源  FORTRAN  文献库  检索软件  过程的实现  程序运行  程序语言  关系符