中国科学院软件研究所机构知识库
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
软件所图书馆 [13]
计算机科学国家重点实... [5]
基础软件国家工程研究... [5]
互联网软件技术实验室... [2]
信息安全国家重点实验... [1]
更多...
作者
王健 [1]
Content Type
会议论文 [17]
期刊论文 [10]
Issued Date
Language
英语 [11]
中文 [6]
Source
计算机工程与设计 [3]
lecture no... [2]
proceeding... [2]
2009 inter... [1]
advances i... [1]
更多...
Project
Indexed
EI [16]
IEEE [3]
ISTP [3]
CNKI [1]
CSCD [1]
更多...
Spnsorship
ieee comp ... [2]
associatio... [1]
china comp... [1]
guangdong ... [1]
huazhong u... [1]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 27)
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
一种基于单条程序执行路径的错误定位方法
[期刊论文]
计算机系统应用, 2014-01-01, 期号: 10, 页码: 112-118
周艺
;
易秋萍
;
刘剑
;
淮晓永
Web系统可用性自动化评估系统的设计与实现
[期刊论文]
计算机工程与设计, 2013-01-01, 卷号: 34, 期号: 10, 页码: 3649-3653
白志斌
;
杨达
;
李娟
design and implementation of cooperative platform for multiple devices based on multi-agent system in ubiquitous networking environment
[会议论文]
6th China Conference of Wireless Sensor Networks, CWSN 2012, Huangshan, China, October 25, 2012 - October 27, 2012
Cao Hanzhen
;
Qin Weijun
;
Zhang Jiadi
;
Li Qiang
;
Liu Yan
integration of iot with smart grid
[会议论文]
IET International Conference on Communication Technology and Application, ICCTA 2011, Beijing, China, October 14, 2011 - October 16, 2011
Chen Xi
;
Liu Jianming
;
Li Xiangzhen
;
Sun Limin
;
Zhen Yan
research on automated sorting algorithms generation based on par
[期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2012-01-01, 卷号: 23, 期号: 9, 页码: 2248-2260
Shi Hai-He
;
Xue Jin-Yun
using operational processes model to improve software development
[会议论文]
2011 International Conference on Electrical Engineering and Automation, EEA 2011, Beijing, China, December 24, 2011 - December 25, 2011
Wulamu Aziguli
;
Wang Jian(王健)
;
Zuo Chun
automated generation of readable proofs for constructive geometry statements with the mass point method
[会议论文]
8th International Workshop on Automated Deduction in Geometry, ADG 2010, Munich, Germany, July 22, 2010 - July 24, 2010
Zou Yu
;
Zhang Jingzhong
a flexible official document system based on authority management
[会议论文]
2011 International Conference on Business Management and Electronic Information, BMEI 2011, Guangzhou, China, 13-May-20
Wu Suyan
;
Li Wenbo
  |  
research and implementation on web services integration of automatic identification system
[会议论文]
2011 3rd Pacific-Asia Conference on Circuits, Communications and System, PACCS 2011, Wuhan, China, 17-Jul-02
Yuan Yuqian
;
Hu Xiaohui
;
Yang Jie
  |  
an automatic testing approach for compiler based on metamorphic testing technique
[会议论文]
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, Australia, 40850
Tao Qiuming
;
Wu Wei
;
Zhao Chen
;
Shen Wuwei
  |  
1
2
3
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace