首页期刊浏览 2024年12月01日星期日

登录注册

全文

有本地全文

3篇

出版年度

	2020	1篇
	2016	1篇
	2003	1篇

作者

	Yoshiki Nakamura	3篇
	Fumiaki Shinohara	1篇
	Hiroyuki Kanzaki	1篇
	Kazuyuki Asada	1篇
	Maiko Suzuki	1篇

	Martin A. Taubman	1篇
	Naoki Kobayashi	1篇
	Ryoma Sin'ya	1篇
	Satoshi Wada	1篇
	Seicho Makihira	1篇
	Takeshi Tsukada	1篇
	Toshi Kawai	1篇
	Yuta Katsumata	1篇
	Yutaka Miyamoto	1篇
	Yuuki Yamaguchi	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	1篇
	Scientific Reports	1篇
	The TRIZ Journal	1篇

学科主题

	自然科学总论	1篇
	计算技术、计算机技术	1篇
	贸易经济	1篇

语种

英文

3篇

国别/地区

	德国	1篇
	美国	1篇
	英国	1篇

检索条件:"( ( 高级检索(( ((AU:(("Yoshiki Nakamura")))) )) ) )"

共 3 条记录

排序：全选导出：

1.Combination of Ariz92 and NM (nakayama, Masakazu) Method for the 5-th Level Problems

作　　者：Yoshiki Nakamura

出　　处：The TRIZ Journal. 2003 ;2003(May).

出版社：Triz Institute

文章 ID：41588262

文章详细全文下载
2.A-Disintegrin and Metalloproteinase (ADAM) 17 Enzymatically Degrades Interferon-gamma

作　　者：Hiroyuki Kanzaki ;Fumiaki Shinohara ;Maiko Suzuki 等

出　　处：Scientific Reports. 2016 ;6(1).doi:10.1038/srep32259

出版社：Springer Nature

文章 ID：235865029

文章详细全文下载
3.On Average-Case Hardness of Higher-Order Model Checking

作　　者：Yoshiki Nakamura ;Kazuyuki Asada ;Naoki Kobayashi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:21:1-21:23.doi:10.4230/LIPIcs.FSCD.2020.21

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255823198

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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