中国科学院软件研究所机构知识库
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
软件所图书馆 [9]
计算机科学国家重点实... [6]
作者
Content Type
期刊论文 [10]
会议论文 [5]
Issued Date
2015 [1]
Language
英语 [11]
Source
knowledge-... [3]
journal of... [2]
science in... [2]
computer n... [1]
informatio... [1]
更多...
Project
Indexed
SCI [15]
Spnsorship
acm sigpla... [1]
chinese ac... [1]
inst intel... [1]
nicia, sas... [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 15)
Filters
Indexed:SCI
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
Deciding determinism of unary languages
[期刊论文]
INFORMATION AND COMPUTATION, 2015-01-01, 卷号: 245, 页码: 181-196
Lu, P
;
Peng, FF
;
Chen, HM
;
Zheng, LX
  |  
set-theoretic foundation of parametric polymorphism and subtyping
[会议论文]
16th ACM SIGPLAN International Conference on Functional Programming, ICFP'11, Tokyo, Japan, September
Castagna Giuseppe
;
Xu Zhiwu
towards practical computable functions on context-free languages
[会议论文]
3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006), Beijing, PEOPLES R CHINA, MAY 15-20,
Chen Haiming
;
Dong Yunmei
  |  
facilitating formal specification acquisition by using recursive functions on context-free languages
[期刊论文]
KNOWLEDGE-BASED SYSTEMS, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151
Chen HM
;
Dong YM
  |  
facilitating formal specification acquisition by using recursive functions on context-free languages
[期刊论文]
KNOWLEDGE-BASED SYSTEMS, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151
Chen HM
;
Dong YM
  |  
facilitating formal specification acquisition by using recursive functions on context-free languages
[期刊论文]
KNOWLEDGE-BASED SYSTEMS, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151
Chen HM
;
Dong YM
  |  
a self-adaptive energy-aware data gathering mechanism for wireless sensor networks
[会议论文]
International Conference on Intelligent Computing, Hefei, PEOPLES R CHINA, AUG 23-26,
Sun LM
;
Yan TX
;
Bi YZ
;
Zhu HS
  |  
a xml-based composition event approach as an integration and cooperation middleware
[会议论文]
International Symposium on Trustworthy Global Computing, Edinburgh, SCOTLAND, APR 07-09,
Xu G
;
Ma JG
;
Huang T
a formal description of secimos operating system
[期刊论文]
COMPUTER NETWORK SECURITY, PROCEEDINGS, 2005-01-01, 卷号: 3685, 页码: 286-297
Zhou ZY
;
Liang B
;
Jiang L
;
Shi WC
;
He YP
  |  
discovering ordered tree patterns from xml queries
[会议论文]
8th Pacific/Asia Conference on Advances in Knowledge Discovery and Data Mining, Sydney, AUSTRALIA, MAY 26-28,
Chen Y
  |  
1
2
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace