The chapters of the book are evolved from presentations made by selected participants at the meeting and organized in two ...
اقرأ المزيد
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
اقرأ المزيد
This thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...
اقرأ المزيد
Graduate students and postgraduates in Mathematics, Engineering and the Natural Sciences want to understand Applied Mathematics ...
اقرأ المزيدWith the dramatic increase in speed and capacity of modern computers, computational approaches are becoming of crucial importance ...
اقرأ المزيد
The book presents theory, fundamentals and applications of ferroelectricity. It describes the current levels of understanding ...
اقرأ المزيد
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
اقرأ المزيد
Pares the theory and practice of a multi-disciplinary field to the essentials for classroom learning and real-world applications. ...
اقرأ المزيد
This textbook—a result of the author’s many years of research and teaching—brings together diverse concepts of dynamics, ...
اقرأ المزيد
This book presents the findings of Collaborative Research Center Transregio 40 (TRR40), initiated in July 2008 and funded ...
اقرأ المزيد
This book presents the findings of Collaborative Research Center Transregio 40 (TRR40), initiated in July 2008 and funded ...
اقرأ المزيد
This book focuses on research advances in approaches for incorporating explicit handling of uncertainty, especially by fuzzy ...
اقرأ المزيد
Includes more than twenty computer games and simulations for use in teacher training. Each of these simulations is innovative ...
اقرأ المزيد
The Japan Association of Simulation & Gaming (JASAG) and the Science Council of Japan (SCJ) hosted ISAGA 2003, the 34th annual ...
اقرأ المزيد
Natural and anthropogenic disasters have caused a large number of victims and significant social and economic losses in the ...
اقرأ المزيد
This book present scurrent activities of the Department of AppliedMathem- ics at SINTEF, the largest independent research ...
اقرأ المزيد