中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

软件研究所 [9]

科技战略咨询研究院 [3]

内容类型

期刊论文 [12]

发表日期

学科主题

Computer ... [12]

Artificial... [3]

Software E... [3]

Engineerin... [2]

Artificial... [1]

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共12条，第1-10条

帮助

限定条件	学科主题：Computer Science

已选(0)清除条数/页：排序方式：
	polar differential power attacks and evaluation 期刊论文 SCIENCE CHINA-INFORMATION SCIENCES, 2012, 卷号: 55, 期号: 7, 页码: 1588-1604 Tang Ming; Qiu ZhenLong; Gao Si; Yi Mu; Liu ShuBo; Zhang HuanGuo; Jin YingZhen 收藏 \| 浏览/下载：16/0 \| 提交时间：2013/09/17 computer security differential power attack side channel attack
	a comparative study of absent features and unobserved values in software effort data 期刊论文 International Journal of Software Engineering and Knowledge Engineering, 2012, 卷号: 22, 期号: 2, 页码: 185-202 Zhang Wen; Yang Ye; Wang Qing 收藏 \| 浏览/下载：10/0 \| 提交时间：2013/09/17 Forecasting Software engineering
	儿童交互式智能讲故事系统期刊论文 Journal of Compute-Aided Design and Graphics, 2011, 卷号: 23, 期号: 7, 页码: 1186-1193 王丹力; 詹志征; 戴国忠收藏 \| 浏览/下载：12/0 \| 提交时间：2013/10/08 儿童交互技术智能体讲故事系统评估
	automatic verification of optimization algorithms: a case study of a quadratic assignment problem solver 期刊论文 International Journal of Software Engineering and Knowledge Engineering, 2011, 卷号: 21, 期号: 2, 页码: 289-307 Merkel Robert; Wang Daoming; Lin Huimin; Chen Tsong Yueh 收藏 \| 浏览/下载：13/0 \| 提交时间：2013/10/08 Computer software selection and evaluation Optimization Verification
	stable cohesion metrics for evolving ontologies 期刊论文 Journal of Software Maintenance and Evolution, 2011, 卷号: 23, 期号: 5, 页码: 343-359 Ma Yinglong; Wu Haijiang; Ma Xinyu; Jin Beihong; Huang Tao; Wei Jun 收藏 \| 浏览/下载：13/0 \| 提交时间：2013/10/08 Adhesion Project management Semantics
	design of a cil connector to spin 期刊论文 INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2008, 卷号: 18, 期号: 1, 页码: 65-91 Li Yongjian; Xue Rui 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/06/10 心叶驼绒藜种群梭梭种群空间分布格局计盒维数model checking cryptographic protocols CAPSL CIL spin
	facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文 KNOWLEDGE-BASED SYSTEMS, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM 收藏 \| 浏览/下载：11/0 \| 提交时间：2011/07/13 绵羊胚胎成纤维细胞formal specification language context-free language recursive function specification acquisition specification validation
	facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文 KNOWLEDGE-BASED SYSTEMS, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/07/13 绵羊胚胎成纤维细胞formal specification language context-free language recursive function specification acquisition specification validation
	facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文 KNOWLEDGE-BASED SYSTEMS, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/07/13 绵羊胚胎成纤维细胞formal specification language context-free language recursive function specification acquisition specification validation
	Multiple criteria linear programming approach to data mining: Models, algorithm designs and software development 期刊论文 OPTIMIZATION METHODS & SOFTWARE, 2003, 卷号: 18, 期号: 4, 页码: 21,453-473 作者: Kou, G; Liu, XT; Peng, Y; Shi, Y; Wise, M 收藏 \| 浏览/下载：16/0 \| 提交时间：2012/11/12 Data Mining Multi-criteria Linear Programming Classification Algorithm Software

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace