Theory And Practice Of Computation - Proceedings Of Workshop On Computation: Theory And Practice Wctp2013 비슷한 책 더 보기
KI 2006: Advances in Artificial Intelligence
2007년
Handbook On Reasoning-based Intelligent Systems, The
2013년
Theoretical Aspects of Software Engineering
2022년
Computational Science – ICCS 2007
2007년
Dependable Software Engineering. Theories, Tools, and Applications
2021년
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
2020년
AIxIA 2022 – Advances in Artificial Intelligence
2023년
Perspectives of System Informatics
2016년
It's All About Coordination
2018년
Perspectives of Systems Informatics
2010년
Inductive Logic Programming
2018년
Formal Methods: Foundations and Applications
2017년
Integrated Formal Methods
2019년
Formal Aspects of Component Software
2016년
Dependable Software Engineering. Theories, Tools, and Applications
2017년