中国科学院软件研究所机构知识库
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
软件所图书馆 [156]
计算机科学国家重点... [15]
信息安全国家重点实验... [9]
互联网软件技术实验室... [5]
人机交互技术与智能信... [4]
更多...
作者
王健 [2]
Content Type
会议论文 [194]
Issued Date
Language
英语 [158]
Source
lecture n... [36]
lecture n... [22]
lecture no... [6]
computer a... [2]
proceeding... [2]
更多...
Project
Indexed
SCI [186]
ISTP [133]
EI [84]
SPRINGER [14]
SCIENCEDIR... [3]
更多...
Spnsorship
ieee compu... [8]
chinese ac... [6]
chinese ac... [5]
nanjing un... [5]
china comp... [3]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 161-170 of 194)
Filters
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
search space partition and case basis exploration for reducing model checking complexity
[会议论文]
2nd International Conference on Automated Technology for Verification and Analysis, Taipei, TAIWAN, OCT 31-NOV
Su B
;
Zhang WH
  |  
performance tuning for application server onceas
[会议论文]
2nd International Symposium on Parallel and Distributed Processing and Applications, Hong Kong, PEOPLES R CHINA, DEC 13-15,
Zhang WB
;
Yang B
;
Jin BH
;
Chen NJ
;
Huang T
  |  
security analysis of user efficient blind signatures
[会议论文]
Advanced Workshop on Content Computing, ZhenJiang, PEOPLES R CHINA, NOV 15-17,
Cao TJ
;
Lin DD
;
Xue R
  |  
physical object icons buttons gesture (pibg): a new interaction paradigm with pen
[会议论文]
8th International Conference on Computer Supported Cooperative Work in Design, Xiamen, PEOPLES R CHINA, MAY 26-JUN
Dai GZ
;
Wang H
  |  
an arbitrated quantum message signature scheme
[会议论文]
1st International Symposium on Computational and Information Science, Shanghai, PEOPLES R CHINA, DEC 16-18,
Lu X
;
Feng DG
  |  
an improved study of real-time fluid simulation on gpu
[会议论文]
17th Annual Conference on Computer Animation and Social Agents (CASA 2004), Geneva, SWITZERLAND, JUL 07-09,
Wu EH
;
Liu YQ
;
Liu XH
  |  
survey on the end-to-end internet delay measurements
[会议论文]
7th IEEE International Conference on High Speech Networks and Multimedia Communications, Toulouse, FRANCE, JUN 30-JUL
Wang JF
;
Zhou MT
;
Li YX
  |  
a new web application development methodology: web service composition
[会议论文]
2nd International Workshop on Web Services, E-Business and the Semantic Web held in conjunction with the 15th International Conference on Advanced Information Systems Engineering (CAiSE 2003), Klagenfurt, AUSTRIA, JUN 16-17,
Ren ZH
;
Jin BH
;
Li J
  |  
discas: a distributed-parallel computer algebra system
[会议论文]
4th International Conference on Computational Science (ICCS 2004), Krakow, POLAND, JUN 06-09,
Wu YW
;
Yang GW
;
Zheng WM
;
Lin DD
  |  
a ptas for embedding hypergraph in a cycle - (extended abstract)
[会议论文]
31st International Colloquium on Automata, Languages and Programming (ICALP 2004), Turku, FINLAND, JUL 12-16,
Deng XT
;
Li GJ
  |  
previous
8
9
10
11
12
13
14
15
16
17
18
19
20
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace