학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 104건 | 목록 1~10
Academic Journal
In: Science of Computer Programming. (Science of Computer Programming, January 2024, 232)
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming. (Journal of Logical and Algebraic Methods in Programming, April 2023, 132)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, October 2022, 24(5):735-756)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, June 2022, 24(3):441-472)
Academic Journal
In Electronic Notes in Theoretical Computer Science 14 April 2005 128(2):53-66
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 34th International Conference on Concurrency Theory, CONCUR 2023. (Leibniz International Proceedings in Informatics, LIPIcs, September 2023, 279)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 34th International Conference on Concurrency Theory, CONCUR 2023. (Leibniz International Proceedings in Informatics, LIPIcs, September 2023, 279)
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2021, 17(3):8:1-8:27)
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2021, 17(1):8:1-8:40)
검색 결과 제한하기
제한된 항목
[AR] Willemse, T.A.C.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어