학술논문
'학술논문'
에서 검색결과 76건 | 목록
40~50
Conference
In: Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 , Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021. (Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021, 2021, :297-298)
Book
In: Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12717 LNCS:149-167)
Conference
In: Proceedings - 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2020 , Proceedings - 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2020. (Proceedings - 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2020, August 2020, :127-132)
Conference
In: Proceedings - 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020 , Proceedings - 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020. (Proceedings - 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020, August 2020, :153-159)
Conference
In: IFAC-PapersOnLine . (IFAC-PapersOnLine, 2020, 53(2):3336-3341)
Book
In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12477 LNCS:344-360)
Book
In: Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12134 LNCS:211-229)
Book
In: Methodologies and Intelligent Systems for Technology Enhanced Learning, 9th International Conference, 2019 . (Advances in Intelligent Systems and Computing, 2020, 1007:129-136)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings of the 2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 27 August 2019, 302:47-61)
Conference
In: Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS , 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2019, 3:1618-1626)
검색 결과 제한하기
제한된 항목
[AR] Audrito, G.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어