This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, ...
Continue reading
Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...
Continue reading
The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...
Continue reading
This book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture: Foundations ...
Continue reading
This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
Continue reading
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
Continue reading
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...
Continue reading
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Continue reading
This book presents work collected through the Liquefaction Experiments and Analysis Projects (LEAP) in 2017. It addresses ...
Continue reading
The First International Workshop on Model-Based Software and Data Integ- tion (MBSDI 2008), was ourfrst event of this kind ...
Continue reading
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...
Continue reading
Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model ...
Continue reading
Geostatistics is concerned with estimation and prediction problems for spatially continuous phenomena, using data obtained ...
Continue reading
Covers important topics and approaches related to the modeling and simulation of complex communication networks from a complex ...
Continue reading
This extensively revised second edition of Modeling Biological Systems: Principles and Applications describes the essentials ...
Continue reading
DEA is computational at its core and this book by Zhu and Cook deals with the micro aspects of handling and modeling data ...
Continue reading
Decision modeling is a key area in the developing field of AI, and this timely work connects researchers and professionals ...
Continue reading
This book constitutes the refereed proceedings of the Third International Conference on Modeling Decisions for Artificial ...
Continue reading
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...
Continue reading
This volume presents a novel computational framework for understanding how collections of excitable cells work. The key approach ...
Continue reading