Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops 비슷한 책 더 보기
Software Engineering and Formal Methods
2020년
Software Technologies: Applications and Foundations
2018년
Explainable and Transparent AI and Multi-Agent Systems
2021년
Software Engineering and Formal Methods
2018년
From Software Engineering to Formal Methods and Tools, and Back
2019년
Formal Methods. FM 2019 International Workshops
2020년
AI*IA 2017 Advances in Artificial Intelligence
2017년
New Trends in Model and Data Engineering
2018년
Formal Techniques for Safety-Critical Systems
2020년
Software Engineering and Formal Methods
2015년
KI 2016: Advances in Artificial Intelligence
2016년
AI*IA 2019 – Advances in Artificial Intelligence
2019년
Artificial General Intelligence
2023년
Agents and Artificial Intelligence
2017년
Artificial General Intelligence
2018년