中国科学院软件研究所机构知识库
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
软件所图书馆 [150]
作者
王健 [2]
Content Type
会议论文 [150]
Issued Date
2014 [4]
2013 [8]
2012 [4]
2011 [1]
Language
英语 [150]
Source
lecture n... [35]
lecture n... [22]
lecture no... [6]
computer a... [2]
chinese jo... [1]
更多...
Project
Indexed
SCI [150]
Spnsorship
ieee compu... [8]
chinese ac... [5]
nanjing un... [5]
china comp... [3]
ifip worki... [3]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 11-20 of 150)
Filters
Community:软件所图书馆
Indexed:SCI
Content Type:会议论文
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
Incremental bisimulation abstraction refinement
[会议论文]
2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8, 2013 - July 10, 2013
Song, Lei (1)
;
Zhang, Lijun (2)
;
Hermanns, Holger (1)
;
Godskesen, Jens Chr. (3)
A general noise-reduction framework for fault localization of Java programs
[会议论文]
Xu, Jian (1)
;
Zhang, Zhenyu (2)
;
Chan, W.K. (3)
;
Tse, T.H. (4)
;
Li, Shanping (1)
on enumeration of polynomial equivalence classes
[会议论文]
SCIENCE CHINA Mathematics
Wang TianZe
;
Lin DongDai
interactive coupling between a tree and raindrops
[会议论文]
Yang Meng
;
Jiang Longsheng
;
Li Xiaosheng
;
Liu Youquan
;
Liu Xuehui
;
Wu Enhua
physically based object withering simulation
[会议论文]
Liu Youquan
;
Chen Yanyun
;
Wu Wen
;
Max Nelson
;
Wu Enhua
scalar multiplication on kummer surface revisited
[会议论文]
Lin Qiping
;
Zhang Fangguo
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
behavior-based trust in wireless sensor network
[会议论文]
8th Asia-Pacific Web Conference and Workshops (APWeb 2006), Harbin, PEOPLES R CHINA, JAN 16-18,
Huang L
;
Li L
;
Tan Q
  |  
mimo techniques in cluster-based wireless sensor networks
[会议论文]
8th Asia-Pacific Web Conference and Workshops (APWeb 2006), Harbin, PEOPLES R CHINA, JAN 16-18,
Li J
;
Gu Y
;
Zhang W
;
Zhao BH
  |  
integrating grid with cryptographic computing
[会议论文]
2nd Information Security Practice and Experience Conference (ISPEC 2006), Hangzhou, PEOPLES R CHINA, APR 11-14,
Jiang ZH
;
Lin DD
;
Xu L
;
Lin L
  |  
previous
1
2
3
4
5
6
7
8
9
10
11
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace