中国科学院软件研究所机构知识库
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]
人机交互技术与智能信... [2]
综合信息系统技术国家... [1]
软件工程技术研究开发... [1]
作者
Content Type
期刊论文 [9]
Issued Date
Language
中文 [9]
Source
软件学报 [5]
计算机学报 [2]
计算机集成制造系统 [1]
通信学报 [1]
Project
Indexed
EI,WANFANG... [9]
Spnsorship
coventry u... [1]
中国计算机学会 [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-9 of 9)
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
基于时序逻辑证明编译优化程序变换的保义性
[期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 8, 页码: 2074-2086
陶秋铭
;
赵琛
;
郭亮
  |  
短消息指标新定义及在事务信道限制中的应用
[期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 4, 页码: 985-996
曾海涛
;
王永吉
;
祖伟
;
蔡嘉勇
;
阮利
  |  
使用容量指标的安全实时数据库信道限制方法
[期刊论文]
通信学报, 2008-01-01, 卷号: 29, 期号: 8, 页码: 46-56
曾海涛
;
王永吉
;
阮利
;
祖伟
;
蔡嘉勇
  |  
基于容器中间件的组件系统体系结构性能评价
[期刊论文]
软件学报, 2006-01-01, 卷号: 17, 期号: 6, 页码: 1328-1337
张勇
;
黄涛
;
魏峻
;
陈宁江
  |  
以用户为中心的场景设计方法研究
[期刊论文]
计算机学报, 2005-01-01, 卷号: 28, 期号: 6, 页码: 1043-1047
王丹力
;
华庆一
;
戴国忠
  |  
供应链例外事件管理系统
[期刊论文]
计算机集成制造系统, 2004-01-01, 卷号: 10, 期号: 11, 页码: 1402-1407
张凯峰
;
韩永生
;
潘旭伟
  |  
Petri网可达性的综合判定法
[期刊论文]
软件学报, 2004-01-01, 卷号: 15, 期号: 7, 页码: 949-955
胡娟
;
刘力惠
;
范植华
;
李磊
;
王常青
;
周纬杰
  |  
移动复制数据库系统冲突检测及消解策略
[期刊论文]
计算机学报, 2002-01-01, 卷号: 25, 期号: 3, 页码: 297-305
丁治明
;
王珊
;
孟小峰
  |  
多媒体节目时序描述的组合技术
[期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 3, 页码: 398-404
赵琛
  |  
1
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace