Interactive Computation 비슷한 책 더 보기
Principles of Modeling
2018년
Coordination Models and Languages
2019년
Software Engineering and Formal Methods
2020년
Coordination Models and Languages
2020년
Coordination Models and Languages
2017년
Formal Methods: State of the Art and New Directions
2009년
Software-Intensive Systems and New Computing Paradigms
2008년
Monitoring, Security, and Rescue Techniques in Multiagent Systems
2006년
Formal Methods for Eternal Networked Software Systems
2011년
Software Technologies: Applications and Foundations
2018년
Multi-Agent Systems and Agreement Technologies
2018년
Agents and Artificial Intelligence
2015년
Fundamentals of Software Engineering
2019년
From Software Engineering to Formal Methods and Tools, and Back
2019년
Software Engineering and Formal Methods
2014년