학술논문
'학술논문'
에서 검색결과 4건 | 목록
1~10
Academic Journal
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14572 LNCS:381-386)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14572 LNCS:335-340)
Academic Journal
In: Open Access Macedonian Journal of Medical Sciences . (Open Access Macedonian Journal of Medical Sciences, 20 December 2020, 8(C):226-230)
검색 결과 제한하기
제한된 항목
[AR] Bozhilov, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어