학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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)
주제어
언어