首页期刊浏览 2024年11月30日星期六

登录注册

全文

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

出版年度

	2017	1篇
	2011	1篇
	2003	1篇
	2001	1篇

作者

	Wolfram Schulte	4篇
	Ethan K. Jackson	1篇
	Helmuth Partsch	1篇
	Mike Barnett	1篇
	Nikolaj Bj\orner	1篇

	Ton Vullinghs	1篇
	Walter Guttmann	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Informatica	1篇
	Journal of Universal Computer Science	1篇

学科主题

	计算技术、计算机技术	3篇
	图书馆学	1篇
	情报学	1篇

语种

	英文	3篇
	葡萄牙语	1篇

国别/地区

	德国	2篇
	奥地利	1篇
	阿根廷	1篇

检索条件:"( ( 高级检索(( ((AU:(("Wolfram Schulte")))) )) ) )"

共 4 条记录

排序：全选导出：

1.The ABCs of specification: asml, behavior, and components

作　　者：Mike Barnett ;Wolfram Schulte

出　　处：Informatica. 2001 ;25(4):517-526.

出版社：The Slovene Society Informatika, Ljubljana

文章 ID：85482960

文章详细全文下载
2.Challenges to Achieving High Availability at Scale (Invited Talk)

作　　者：Wolfram Schulte

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;74:1:1-1:1.doi:10.4230/LIPIcs.ECOOP.2017.1

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

文章 ID：197690089

文章详细全文下载
3.Canonical Regular Types

作　　者：Ethan K. Jackson ;Nikolaj Bj\orner ;Wolfram Schulte

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;11:73-83.doi:10.4230/LIPIcs.ICLP.2011.73

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

文章 ID：186845942

文章详细全文下载
4.Tool Support for the Interactive Derivation of Formally Correct Functional Programs

作　　者：Walter Guttmann ;Helmuth Partsch ;Wolfram Schulte 等

出　　处：Journal of Universal Computer Science. 2003 ;9(2):173-188.

出版社：Graz University of Technology and Know-Center

文章 ID：186874504

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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