中国科学院软件研究所机构知识库
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
软件所图书馆 [82]
计算机科学国家重点... [24]
信息安全国家重点实... [13]
软件工程技术研究开发... [7]
综合信息系统技术国家... [5]
更多...
作者
王健 [1]
吕荫润 [1]
陈美会 [1]
Content Type
会议论文 [86]
期刊论文 [55]
学位论文 [2]
Issued Date
Language
英语 [74]
中文 [25]
Source
lecture n... [35]
ruan jian ... [4]
软件学报 [4]
3rd intern... [3]
journal of... [3]
更多...
Project
Indexed
EI [89]
SCI [20]
ISTP [9]
WANFANG [7]
CSCD [3]
更多...
Spnsorship
chinese ac... [3]
ieee compu... [3]
ieee beiji... [2]
national n... [2]
acm sigchi... [1]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 61-70 of 143)
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
Author Ascending
Author Descending
Title Ascending
Title Descending
Issue Date Ascending
Issue Date Descending
holographic algorithms with matchgates capture precisely tractable planar #csp
[会议论文]
2010 IEEE 51st Annual Symposium on Foundations of Computer Science, FOCS 2010, Las Vegas, NV, United states, 40839
Cai Jin-Yi
;
Lu Pinyan
;
Xia Mingji
  |  
cooperative concept map based on cognitive model for visual analysis
[会议论文]
3rd International Symposium on Visual Information Communication, VINCI 2010, Beijing, China, September
Du Yi
;
Ma Cuixia
;
Teng Dongxing
;
Dai Guozhong
formal based operation strategy design for collaborative shared teleoperation system
[会议论文]
International Conference on Control, Automation and Systems, ICCAS 2010, Gyeonggi, 40843
Fengge Wu
;
Junsuo Zhao
;
Huaping Liu
;
Xiaohui Hu
;
Fanjiang Xu
  |  
a fuzzy-based method for evaluating the trustworthiness of software processes
[会议论文]
International Conference on Software Process, ICSP 2010, Paderborn, Germany, 44020
Zhang Haopeng
;
Shu Fengdi
;
Yang Ye
;
Wang Xu
;
Wang Qing
  |  
application of logical petri nets in web service composition
[会议论文]
2010 IEEE International Conference on Mechatronics and Automation, ICMA 2010, Xian, China, August 4,
Zhu ChangYan
;
Du YuYue
  |  
asm-spv: a model checker for security protocols
[会议论文]
6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, Darmstadt, Germany, 40831
Peng Jianhua
;
Liu Feng
;
Zhao Zhenju
;
Huang Danqing
;
Xue Rui
  |  
a mobility model based on traffic flow theory for vehicular delay tolerant network
[会议论文]
2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010, Changsha, China, September
Yang Wei-Dong
;
Liu Ji-Zhao
;
Zhu Hong-Song
  |  
a robust aqm controller design for various delay networks
[会议论文]
29th Chinese Control Conference, CCC10, Beijing, China, 37466
Wang Xiuli
;
Wang Yongji
a case study on usage of a software process management tool in china
[会议论文]
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, 40850
Jing Du
;
Ye Yang
;
Zhongpeng Lin
;
Qing Wang
;
Mingshu Li
;
Feng Yuan
  |  
statistically hiding sets
[会议论文]
Cryptographers Track at the RSA Conference, CT-RSA 2009, San Francisco, CA, United states, April 20,
Prabhakaran Manoj
;
Xue Rui
previous
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
next
Copyright © 2007-2022
中国科学院软件研究所
-
Feedback
Powered by
CSpace