Understanding Behaviour of Distributed Systems Using mCRL2 이 시리즈의 다른 책

Structural Optimization Using Shuffled Shepherd Meta-Heuristic Algorithm Structural Optimization Using Shuffled Shepherd Meta-Heuristic Algorithm
Structural Optimization Using Shuffled Shepherd Meta-Heuristic Algorithm
2023년
Systems, Decision and Control in Energy IV Systems, Decision and Control in Energy IV
Systems, Decision and Control in Energy IV
2023년
Adaptive Hybrid Control of Quadrotor Drones Adaptive Hybrid Control of Quadrotor Drones
Adaptive Hybrid Control of Quadrotor Drones
2023년
Error Logic: Paving Pathways for Intelligent Error Identification and Management Error Logic: Paving Pathways for Intelligent Error Identification and Management
Error Logic: Paving Pathways for Intelligent Error Identification and Management
2023년
Control Synthesis for Semi-Markovian Switching Systems Control Synthesis for Semi-Markovian Switching Systems
Control Synthesis for Semi-Markovian Switching Systems
2023년
Group Verbal Decision Analysis Group Verbal Decision Analysis
Group Verbal Decision Analysis
2023년
Developments in Information and Knowledge Management Systems for Business Applications Developments in Information and Knowledge Management Systems for Business Applications
Developments in Information and Knowledge Management Systems for Business Applications
2023년
Decision Making Under Uncertainty, with a Special Emphasis on Geosciences and Education Decision Making Under Uncertainty, with a Special Emphasis on Geosciences and Education
Decision Making Under Uncertainty, with a Special Emphasis on Geosciences and Education
2023년
Developments in Information and Knowledge Management Systems for Business Applications Developments in Information and Knowledge Management Systems for Business Applications
Developments in Information and Knowledge Management Systems for Business Applications
2023년
Artificial Intelligence in Models, Methods and Applications Artificial Intelligence in Models, Methods and Applications
Artificial Intelligence in Models, Methods and Applications
2023년
Intelligent Reliability and Maintainability of Energy Infrastructure Assets Intelligent Reliability and Maintainability of Energy Infrastructure Assets
Intelligent Reliability and Maintainability of Energy Infrastructure Assets
2023년
Proceedings of 19th Latin American Control Congress (LACC 2022) Proceedings of 19th Latin American Control Congress (LACC 2022)
Proceedings of 19th Latin American Control Congress (LACC 2022)
2023년
Games to Play and Games not to Play Games to Play and Games not to Play
Games to Play and Games not to Play
2023년
Preferential Voting and Applications: Approaches Based on Data Envelopment Analysis Preferential Voting and Applications: Approaches Based on Data Envelopment Analysis
Preferential Voting and Applications: Approaches Based on Data Envelopment Analysis
2023년
Recent Developments in Model-Based and Data-Driven Methods for Advanced Control and Diagnosis Recent Developments in Model-Based and Data-Driven Methods for Advanced Control and Diagnosis
Recent Developments in Model-Based and Data-Driven Methods for Advanced Control and Diagnosis
2023년