학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 142건 | 목록 1~10
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, December 2022, 24(6):911-948)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 31 October 2022, 6(OOPSLA2):315-344)
Academic Journal
In: Science of Computer Programming. (Science of Computer Programming, October 2024, 237)
Book
In: Rewriting Logic and Its Applications - 15th International Workshop, WRLA 2024, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14953 LNCS:195-207)
Book
In: Rewriting Logic and Its Applications - 15th International Workshop, WRLA 2024, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14953 LNCS:124-144)
Book
In: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14485 LNCS:127-152)
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming. (Journal of Logical and Algebraic Methods in Programming, August 2021, 122)
Conference
In: FTSCS 2023 - Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Co-located: SPLASH 2023, FTSCS 2023 - Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Co-located: SPLASH 2023. (FTSCS 2023 - Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Co-located: SPLASH 2023, 18 October 2023, :III-IV)
Conference
Proceedings DARPA Active Networks Conference and Exposition DARPA active networks conference DARPA Active NEtworks Conference and Exposition, 2002. Proceedings. :494-510 2002
검색 결과 제한하기
제한된 항목
[AR] Ölveczky, P.C.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어