학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 66건 | 목록 1~10
Academic Journal
In: Information and Computation. (Information and Computation, October 2024, 300)
Academic Journal
In: Acta Informatica. (Acta Informatica, 1 December 2020, 57(6):801-827)
Conference
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on. :376-386 1991
Academic Journal
In: International Journal of e-Collaboration. (International Journal of e-Collaboration, July-September 2019, 15(3):20-33)
Academic Journal
In: For the Learning of Mathematics. (For the Learning of Mathematics, 2023, 43(3):27-31)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings of the 6th Working Formal Methods Symposium, FROM 2022. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 19 September 2022, 369:51-66)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 6 September 2022, 368:43-59)
Conference
In: ACM International Conference Proceeding Series, Proceedings of the 2022 34th Symposium on Implementation and Application of Functional Languages, IFL 2022. (ACM International Conference Proceeding Series, 31 August 2022)
Book
In: Information Systems Security and Privacy - 6th International Conference, ICISSP 2020, Revised Selected Papers. (Communications in Computer and Information Science, 2022, 1545 CCIS:139-155)
검색 결과 제한하기
제한된 항목
[AR] Hüttel, H.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어