학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 64건 | 목록 1~10
Conference
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2021 36th Annual ACM/IEEE Symposium on. :1-14 Jun, 2021
Academic Journal
In: Innovations in Systems and Software Engineering. (Innovations in Systems and Software Engineering, September 2022, 18(3):347-367)
Academic Journal
In: Innovations in Systems and Software Engineering. (Innovations in Systems and Software Engineering, September 2022, 18(3):385-403)
Academic Journal
In: Frontiers in Medicine. (Frontiers in Medicine, 10 November 2021, 8)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, October 2021, 58(1-2):42-82)
Academic Journal
In: Innovations in Systems and Software Engineering. (Innovations in Systems and Software Engineering, June 2023, 19(2):227-229)
Conference
In: IJCAI International Joint Conference on Artificial Intelligence, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. (IJCAI International Joint Conference on Artificial Intelligence, 2023, 2023-August:2728-2737)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 33rd International Conference on Concurrency Theory, CONCUR 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 September 2022, 243)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13560 LNCS:27-45)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 12th International Symposium on Games, Automata, Logics, and Formal Verification, G and ALF 2021. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 17 September 2021, 346:35-51)
검색 결과 제한하기
제한된 항목
[AR] Jantsch, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어