首页期刊浏览 2025年02月26日星期三

登录注册

全文

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

出版年度

	2018	1篇
	2017	1篇
	2015	1篇
	2014	1篇

作者

	Marius Bozga	4篇
	Marcel Sabin Popa	2篇
	Stefan Sattel	2篇
	Vlad-Bogdan Tomoiagă	2篇
	Filip Konecny	1篇

	Glad Conţiu	1篇
	Glad Conțiu	1篇
	Jacques Combaz	1篇
	Lacramioara Astefanoaei	1篇
	Ovidiu Virgil Vereş	1篇
	Radu Iosif	1篇
	Saddek Bensalem	1篇
	Souha Ben Rayana	1篇

文章类型

Research Article

2篇

来源期刊

	Logical Methods in Computer Science	2篇
	MATEC Web of Conferences	2篇

学科主题

计算技术、计算机技术

2篇

语种

英文

4篇

国别/地区

德国

2篇

检索条件:"( ( 高级检索(( ((AU:(("Marius Bozga")))) )) ) )"

共 4 条记录

排序：全选导出：

1.Finite element simulation of the C70 orthogonal cutting process

作　　者：Vlad-Bogdan Tomoiagă ;Vlad-Bogdan Tomoiagă ;Marcel Sabin Popa 等

出　　处：MATEC Web of Conferences. 2017 ;112:1-7.doi:10.1051/matecconf/201711206011

出版社：EDP Sciences

文章 ID：1006354129

文章详细
2.Compositional Verification for Timed Systems Based on Automatic Invariant Generation

作　　者：Lacramioara Astefanoaei ;Souha Ben Rayana ;Saddek Bensalem 等

出　　处：Logical Methods in Computer Science. 2015 ;11(3):1.doi:10.2168/LMCS-11(3:15)2015

出版社：Technical University of Braunschweig

文章 ID：264692078

文章详细全文下载
3.Deciding Conditional Termination

作　　者：Radu Iosif ;Filip Konecny ;Marius Bozga

出　　处：Logical Methods in Computer Science. 2014 ;10(3):1.doi:10.2168/LMCS-10(3:8)2014

出版社：Technical University of Braunschweig

文章 ID：264692146

文章详细全文下载
4.Influence of the cutting edge microgeometry in drilling operation of 42CrMo4 and X5CrNi18-10

作　　者：Vlad-Bogdan Tomoiagă ;Marcel Sabin Popa ;Stefan Sattel 等

出　　处：MATEC Web of Conferences. 2018 ;178.doi:10.1051/matecconf/201817801011

出版社：EDP Sciences

文章 ID：1017708912

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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