中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
软件所图书馆 [5]
人机交互技术与智能信... [4]
中科院软件所 [3]
计算机科学国家重点实... [2]
并行计算实验室 [2]
更多...
作者
Content Type
期刊论文 [14]
学位论文 [4]
Issued Date
2016 [1]
Language
中文 [16]
Source
软件学报 [4]
计算机学报 [3]
计算机工程与应用 [2]
应用数学 [1]
武汉大学学报(理学版... [1]
更多...
Project
Indexed
WANFANG [5]
CSCD [4]
CNKI [1]
EI,CSCD [1]
EI,WANFANG... [1]
更多...
Spnsorship
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 18)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
面向无穷数据的形式模型综述
[期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 3, 页码: 682-690
宋富
;
吴志林
  |  
确定性正则语言的研究
[学位论文]
博士, 北京: 中国科学院研究生院, 2014-05-29
陆平
  |  
一种OGSA架构上基于经验共享的服务搜索方法
[期刊论文]
计算机科学与探索, 2008-01-01, 卷号: 2, 期号: 5, 页码: 511-518
贺红
;
袁胜忠
;
魏峻
  |  
时序逻辑理论研究:表达能力和复杂性
[学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-03
吴志林
  |  
一种新的授权数据管理方案
[期刊论文]
武汉大学学报(理学版), 2007-01-01, 卷号: 53, 期号: 5, 页码: 518-522
张兴
;
张晓菲
;
刘毅
;
沈昌祥
  |  
命题线性时序逻辑的对偶模型问题的复杂性
[期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 7
吴志林
;
张文辉
  |  
基因组重组问题的一个更快算法
[期刊论文]
应用数学, 2006-01-01, 卷号: 19, 期号: 1, 页码: 66-74
亓兴勤
;
李国君
;
李曙光
  |  
利用结构信息的故障诊断方法
[期刊论文]
计算机学报, 2005-01-01, 卷号: 28, 期号: 5, 页码: 801-808
栾尚敏
;
戴国忠
  |  
基于数据仓库的EIS数据管理体系结构
[期刊论文]
计算机工程与应用, 2003-01-01, 卷号: 39, 期号: 19, 页码: 17-20
王锁柱
;
孙玉芳
  |  
面向高性能数值计算的并行计算模型DRAM(h)
[期刊论文]
计算机学报, 2003-01-01, 卷号: 26, 期号: 12, 页码: 1660-1670
张云泉
  |  
1
2
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace