학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 40건 | 목록 1~10
Academic Journal
In: Astronomy Reports. (Astronomy Reports, December 2023, 67(Suppl 2):S189-S198)
Academic Journal
In: Information and Computation. (Information and Computation, May 2022, 285)
Conference
2015 IEEE International Symposium on Intelligent Control (ISIC) Intelligent Control (ISIC), 2015 IEEE International Symposium on. :688-694 Sep, 2015
Book
In: Bioinformatics Research and Applications - 20th International Symposium, ISBRA 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14954 LNBI:449-460)
Book
In: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14500 LNCS:264-288)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. (Leibniz International Proceedings in Informatics, LIPIcs, August 2023, 272)
Academic Journal
IEEE Embedded Systems Letters IEEE Embedded Syst. Lett. Embedded Systems Letters, IEEE. 8(4):77-80 Dec, 2016
Book
In: Reachability Problems - 17th International Conference, RP 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14235 LNCS:141-154)
Academic Journal
In: Control Theory and Technology. (Control Theory and Technology, 1 August 2018, 16(3):173-190)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 30th EACSL Annual Conference on Computer Science Logic, CSL 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 February 2022, 216)
검색 결과 제한하기
제한된 항목
[AR] Raha, R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어