학술논문
'학술논문'
에서 검색결과 76건 | 목록
10~20
Academic Journal
In: Journal of Systems and Software . (Journal of Systems and Software, May 2021, 175)
Academic Journal
In: Science of Computer Programming . (Science of Computer Programming, 1 March 2021, 203)
Conference
In: VORTEX 2023 - Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution , VORTEX 2023 - Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution. (VORTEX 2023 - Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, 18 July 2023, :iii)
Conference
In: VORTEX 2023 - Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution , VORTEX 2023 - Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution. (VORTEX 2023 - Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, 18 July 2023, :17-20)
Academic Journal
In: Engineering Applications of Artificial Intelligence . (Engineering Applications of Artificial Intelligence, January 2021, 97)
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2020, 16(4):1-41)
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming . (Journal of Logical and Algebraic Methods in Programming, December 2019, 109)
Conference
In: Proceedings - 2023 IEEE International Conference on Automatic Computing and Self-Organizing Systems Companion, ACSOS-C 2023 , Proceedings - 2023 IEEE International Conference on Automatic Computing and Self-Organizing Systems Companion, ACSOS-C 2023. (Proceedings - 2023 IEEE International Conference on Automatic Computing and Self-Organizing Systems Companion, ACSOS-C 2023, 2023, :140-145)
Conference
In: Olympiads in Informatics , 35th International Olympiad in Informatics, IOI 2023. (Olympiads in Informatics, 2023, 17:19-31)
Book
In: Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13908 LNCS:71-89)
검색 결과 제한하기
제한된 항목
[AR] Audrito, G.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어