首页期刊浏览 2024年11月08日星期五

登录注册

全文

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

出版年度

	2018	1篇
	2017	1篇
	2016	1篇
	2014	1篇

作者

	John Toman	4篇
	Dan Grossman	3篇
	Joseph L. Donaldson	1篇
	Karen L. Franck	1篇
	Teresa Moody	1篇

The University of Tennessee Knoxville, Tennessee

1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Journal of Extension	1篇

学科主题

	计算技术、计算机技术	3篇
	高等教育	1篇

语种

英文

4篇

国别/地区

	德国	3篇
	美国	1篇

检索条件:"( ( 高级检索(( ((AU:(("John Toman")))) )) ) )"

共 4 条记录

排序：全选导出：

1.Moving Beyond the Program: Incorporating Healthy Living Behaviors Throughout 4-H

作　　者：Karen L. Franck ;Joseph L. Donaldson ;John Toman 等

出　　处：Journal of Extension. 2014 ;52(4).

出版社：Journal of Extension, Inc.

文章 ID：185381887

文章详细全文下载
2.Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates

作　　者：John Toman ;Dan Grossman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;109:24:1-24:32.doi:10.4230/LIPIcs.ECOOP.2018.24

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

文章 ID：220014755

文章详细
3.Taming the Static Analysis Beast

作　　者：John Toman ;Dan Grossman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;71:18:1-18:14.doi:10.4230/LIPIcs.SNAPL.2017.18

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

文章 ID：193875263

文章详细全文下载
4.Staccato: A Bug Finder for Dynamic Configuration Updates

作　　者：John Toman ;Dan Grossman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;56:24:1-24:25.doi:10.4230/LIPIcs.ECOOP.2016.24

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

文章 ID：186847556

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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