首页期刊浏览 2024年11月28日星期四

登录注册

全文

	有全文链接	1篇
	有本地全文	1篇

出版年度

	2011	1篇
	2005	1篇

作者

	Akinori Yonezawa	2篇
	Kenjiro Taura	1篇
	Nan Dun	1篇
	Naoki Kobayashi	1篇
	Reynald Affeldt	1篇

来源期刊

	IPSJ Digital Courier	1篇
	Information and Media Technologies	1篇

学科主题

	信息与知识传播	1篇
	信息处理（信息加工）	1篇

语种

日文

2篇

国别/地区

日本

2篇

检索条件:"( ( 高级检索(( ((AU:(("Akinori Yonezawa")))) )) ) )"

共 2 条记录

排序：全选导出：

1.Performance Evaluation of a Distributed File System with Locality-Aware Metadata Lookups

作　　者：Nan Dun ;Kenjiro Taura ;Akinori Yonezawa

出　　处：Information and Media Technologies. 2011 ;6(4):1209-1220.doi:10.11185/imt.6.1209

出版社：Information and Media Technologies Editorial Board

文章 ID：103885938

文章详细全文下载
2.Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study

作　　者：Reynald Affeldt ;Naoki Kobayashi ;Akinori Yonezawa

出　　处：IPSJ Digital Courier. 2005 ;1:117-127.doi:10.2197/ipsjdc.1.117

出版社：Information Processing Society of Japan

文章 ID：194151026

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有