학술논문
'학술논문'
에서 검색결과 180건 | 목록
1~10
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, LNCS 14660:206-224)
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:188-206)
Academic Journal
In: Swarm and Evolutionary Computation . (Swarm and Evolutionary Computation, March 2022, 69)
Academic Journal
In: International Journal on Software Tools for Technology Transfer . (International Journal on Software Tools for Technology Transfer, February 2022, 24(1):29-31)
Academic Journal
In: International Journal on Software Tools for Technology Transfer . (International Journal on Software Tools for Technology Transfer, February 2022, 24(1))
Academic Journal
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, October 2021, 65(7):971-999)
Conference
In: MPLR 2023 - Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Co-located with: SPLASH 2023 , MPLR 2023 - Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Co-located with: SPLASH 2023. (MPLR 2023 - Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Co-located with: SPLASH 2023, 19 October 2023, :129-142)
Academic Journal
In: Genetics . (Genetics, June 2021, 218(2))
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 13 November 2020, 4(OOPSLA))
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, November 2020, 55(3):137-170)
검색 결과 제한하기
제한된 항목
[AR] Vojnar, T.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어