Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 More Books Like This
Novel Insights in Agent-based Complex Automated Negotiation
2009
Rigorous State-Based Methods
2020
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2018
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2016
Modern Formal Methods and Applications
2006
Parallel and Distributed Computational Intelligence
2008
Intelligent Computer Graphics 2011
2008
Modeling and Verification of Real-time Systems
2013
Hybrid Metaheuristics
2008
Agent Technology from a Formal Perspective
2006
Provably Correct Systems
2017
Knowledge-Free and Learning-Based Methods in Intelligent Game Playing
2008
Artificial Intelligence in Theory and Practice II
2010
Fuzzy Sets, Rough Sets, Multisets and Clustering
2008
Innovations in Agent-Based Complex Automated Negotiations
2008