학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 39건 | 목록 1~10
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, 2024)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, December 2022, 61(2-3):290-337)
Conference
In: E3S Web of Conferences, 10th International Annual Conference on Industrial Technologies and Engineering, ICITE 2023. (E3S Web of Conferences, 8 January 2024, 474)
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, 14570 LNCS:83-102)
Academic Journal
Central Asian Journal of Water Research. 2022, Vol. 8 Issue 2, p141-152. 12p.
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 July 2022, 229)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021. (Leibniz International Proceedings in Informatics, LIPIcs, 1 March 2021, 187)
Academic Journal
Applied Solar Energy (19349424); Apr2015, Vol. 51 Issue 2, p107-111, 5p
검색 결과 제한하기
제한된 항목
[AR] Khalimov, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어