首页期刊浏览 2025年02月17日星期一

登录注册

全文

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

出版年度

	2018	1篇
	2012	2篇

作者

	Jiří Srba	3篇
	Alexandre David	1篇
	Antonín Knížek	1篇
	Ekaterina M. Zanozina	1篇
	Elias Chatzitheodoridis	1篇

	Jakub Koukal	1篇
	Kenneth Y. Jørgensen	1篇
	Kim G. Larsen	1篇
	Lasse Jacobsen	1篇
	Libor Lenža	1篇
	Martin Ferus	1篇
	Morten Jacobsen	1篇
	Paul Rimmer	1篇
	Pavel Váňa	1篇
	Petr Kubelík	1篇
	Svatopluk Civiš	1篇
	Tereza Kaiserová	1篇
	Vojtěch Laitl	1篇

文章类型

Research Article

1篇

来源期刊

	Electronic Proceedings in Theoretical Computer Science	2篇
	Astronomy & Astrophysics	1篇

学科主题

计算技术、计算机技术

2篇

语种

英文

3篇

国别/地区

澳大利亚

2篇

检索条件:"( ( 高级检索(( ((AU:(("Jiří Srba")))) )) ) )"

共 3 条记录

排序：全选导出：

1.A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

作　　者：Alexandre David ;Lasse Jacobsen ;Morten Jacobsen 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;102:125-140.doi:10.4204/EPTCS.102.12

出版社：Open Publishing Association

文章 ID：83120652

文章详细全文下载
2.Time-Darts: A Data Structure for Verification of Closed Timed Automata

作　　者：Kenneth Y. Jørgensen ;Kim G. Larsen ;Jiří Srba

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;102:141-155.doi:10.4204/EPTCS.102.13

出版社：Open Publishing Association

文章 ID：83120653

文章详细全文下载
3.Calibration-free quantitative elemental analysis of meteor plasma using reference laser-induced breakdown spectroscopy of meteorite samples

作　　者：Martin Ferus ;Jakub Koukal ;Libor Lenža 等

出　　处：Astronomy & Astrophysics. 2018 ;610.doi:10.1051/0004-6361/201629950

出版社：EDP Sciences

文章 ID：1012044525

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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