中国科学院软件研究所机构知识库
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
计算机科学国家重点实... [6]
软件所图书馆 [3]
互联网软件技术实验室... [2]
软件工程技术研究开发... [1]
基础软件国家工程研究... [1]
作者
Content Type
会议论文 [11]
期刊论文 [2]
Issued Date
Language
英语 [3]
Source
proceeding... [2]
proceeding... [2]
2009 world... [1]
applied me... [1]
formal asp... [1]
更多...
Project
Indexed
EI [6]
SCI [1]
Spnsorship
acm sigevo [1]
china comp... [1]
chinese co... [1]
fudan univ... [1]
ieee [1]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 13)
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
development of soil screening levels for contaminated sites assessment in beijing
[会议论文]
2012 International Conference on Civil, Architectural and Hydraulic Engineering, ICCAHE 2012, Zhangjiajie, China, August 10, 2012 - August 12, 2012
Zhou Youya
;
Zhou Huiyan
;
Tang Yandong
;
Yan Zengguang
;
Zhang Chaoyan
;
Jiang Lin
;
Li Fasheng
;
Bai Liping
;
Liu Li
a low power adaptive clock and data recovery circuit for wireless implantable systems
[期刊论文]
Shenzhen Daxue Xuebao (Ligong Ban)/Journal of Shenzhen University Science and Engineering, 2011-01-01, 卷号: 28, 期号: 2, 页码: 143-146
Yu Hang
;
Li Yan
;
Jiang Lai
;
Ji Zhen
;
Yan Ping-Kun
;
Wang Fei
symbolic decision procedure for termination of linear programs
[会议论文]
symbolic decision procedure for termination of linear programs, 北京, 2011
Xia Bican
;
Yang Lu
;
Zhan Naijun
;
Zhang Zhihai
  |  
maximum margin transfer learning
[会议论文]
World Summit on Genetic and Evolutionary Computation (GEC 09), Shanghai, PEOPLES R CHINA, JUN 12-14,
Su Bai
;
Shen Yi-Dong
smt-based bounded model checking for real-time systems
[会议论文]
8th International Conference on Quality Software, Oxford, ENGLAND, AUG 12-13,
Xu Liang
  |  
elementary differences among jump hierarchies
[会议论文]
4th International Conference on Theory and Applications of Models of Computation, Shanghai, PEOPLES R CHINA, MAY 22-25,
Li Angsheng
  |  
online feasibility analysis with composite-deadline
[会议论文]
4th International Conference on Innovations in Information Technology, Dubai, U ARAB EMIRATES, NOV 18-20,
Min-Allah Nasro
;
Ali Imran
;
Jian-Sheng Xing
;
Yong-Ji Wang
  |  
wmq: towards a fine-grained qos control for e-business servers
[会议论文]
IEEE International Conference on e-Business Engineering, Hong Kong, PEOPLES R CHINA, OCT 24-26,
Wang Wei
;
Zhang Wenbo
;
Zhang Lei
;
Huang Tao
  |  
cluster analysis and optimization in color-based clustering for image abstract
[会议论文]
17th IEEE International Conference on Data Mining Workshops, ICDM Workshops 2007, Omaha, NE, United states, 40844
He Jing
;
Huang Guangyan
;
Zhang Yanchun
;
Shi Yong
  |  
automatic generation of traditional style painting by using density-based color clustering
[会议论文]
17th IEEE International Conference on Data Mining Workshops, ICDM Workshops 2007, Omaha, NE, United states, 40844
Huang Guangyan
;
Ding Zhiming
;
He Jing
  |  
1
2
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace