中国科学院软件研究所机构知识库
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
计算机科学国家重点实... [3]
信息安全国家重点实验... [2]
软件所图书馆 [1]
作者
Content Type
会议论文 [3]
期刊论文 [3]
Issued Date
Language
中文 [2]
Source
first join... [2]
计算机学报 [2]
eurasip jo... [1]
proceeding... [1]
Project
Indexed
EI [4]
SCI [1]
WANFANG [1]
Spnsorship
ifip, ieee... [2]
chinese co... [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-6 of 6)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Issue Date Ascending
Issue Date Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Submitted Time Ascending
Submitted Time Descending
hums: an autonomous moving strategy for mobile sinks in data-gathering sensor networks
[期刊论文]
EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING, 2007-01-01, 卷号: 2007, 期号: 1, 页码: -
Bi Yanzhong
;
Sun Limin
;
Ma Jian
;
Li Na
;
Khan Imran Ali
;
Chen Canfeng
  |  
partition refinement in abstract model checking
[会议论文]
1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering, Shanghai, PEOPLES R CHINA, JUN 06-08,
Pu Fei
;
Zhang Wenhui
  |  
evaluation of sat-based bounded model checking of actl properties
[会议论文]
1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering, Shanghai, PEOPLES R CHINA, JUN 06-08,
Xu Yanyan
;
Chen Wei
;
Xu Liang
;
Zhang Wenhui
  |  
physically based simulation of fluid mixtures
[会议论文]
2007 10th IEEE International Conference on Computer Aided Design and Computer Graphics, CAD/Graphics 2007, Beijing, China, 40831
Wu Enhua
  |  
核心化多级安全数据库系统未决提交事务日志写出依赖研究
[期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 8, 页码: 1438-1446
徐震
;
张敏
  |  
基于Marching Cubes重组的外存模型渐进压缩
[期刊论文]
计算机学报, 2004-01-01, 卷号: 27, 期号: 11, 页码: 1457-1463
刘迎
;
蔡康颖
;
王文成
;
吴恩华
  |  
1
Copyright © 2007-2019
中国科学院软件研究所
-
Feedback
Powered by
CSpace