中国科学院软件研究所机构知识库
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
软件所图书馆 [2]
计算机科学国家重点实... [2]
互联网软件技术实验室... [1]
作者
Content Type
会议论文 [3]
期刊论文 [2]
Issued Date
Language
中文 [1]
英语 [1]
Source
innovation... [1]
lecture no... [1]
proceeding... [1]
proceeding... [1]
软件学报 [1]
Project
Indexed
EI [3]
WANFANG [1]
Spnsorship
acm siggra... [1]
ieee [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-5 of 5)
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
a hybrid system approach to the analysis and design of power grid dynamic performance
[期刊论文]
Proceedings of the IEEE, 2012-01-01, 卷号: 100, 期号: 1, 页码: 225-239
Susuki Yoshihiko
;
Koo T. John
;
Ebina Hiroaki
;
Yamazaki Takuya
;
Ochi Takashi
;
Uemura Takuji
;
Hikihara Takashi
assume-guarantee reasoning with local specifications
[会议论文]
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, 40848
Lomuscio Alessio
;
Strulo Ben
;
Walker Nigel
;
Wu Peng
  |  
stable and efficient miscible liquid-liquid interactions
[会议论文]
ACM Symposium on Virtual Reality Software and Technology, Newport Beach, CA, NOV 05-07,
Zhu Hongbin
;
Bao Kai
;
Wu Enhua
;
Liu Xuehui
  |  
minimizing response time implication in dvs scheduling for low power embedded systems
[会议论文]
4th International Conference on Innovations in Information Technology, Dubai, U ARAB EMIRATES, NOV 18-20,
Min-Allah Nasro
;
Kazmi Asad-Raza
;
Ali Ishtiaq
;
Xing Jian-Sheng
;
Wang Yong-Ji
  |  
几个门限群签名方案的弱点
[期刊论文]
软件学报, 2000-01-01, 卷号: 11, 期号: 10, 页码: 1326-1332
王贵林
;
卿斯汉
  |  
1
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace