Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 비슷한 책 더 보기

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