中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
Content Type
期刊论文 [2]
Issued Date
2010 [2]
Language
Source
Project
Indexed
Spnsorship
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-2 of 2)

Filters                
Items/Page:    Sort:
基于最大不动点模型的描述逻辑系统FLε的有穷基 [期刊论文]
计算机研究与发展, 2010-01-01, 卷号: 47, 期号: 9, 页码: 1514-1521
唐素勤; 蔡自兴; 王驹; 蒋运承
  |  
 
JUTA:一个Java自动化单元测试工具 [期刊论文]
计算机研究与发展, 2010-01-01, 卷号: 47, 期号: 10, 页码: 1840-1848
严俊; 郭涛; 阮辉; 玄跻峰
  |  
 

1

 
Valid XHTML 1.0!
Copyright © 2007-2021  中国科学院软件研究所 - Feedback
Powered by CSpace