Methods and Applications for Modeling and Simulation of Complex Systems
This volume constitutes the proceedings of the 19th Asia Simulation Conference, AsiaSim 2019,...
EAN: 9789811510779
Simulation Tools and Techniques
The papers focus on simulation methods, simulation techniques, simulation software, simulation...
EAN: 9783030322151
Formal Methods and Software Engineering
This book constitutes the proceedings of the 21st International Conference on Formal Engineering...
EAN: 9783030324087
OPNET IoT Simulation
This is the first book offering an in-depth and comprehensive IoT network simulation, supported...
EAN: 9789813291690
Computational Methods in Systems Biology
This book constitutes the refereed proceedings of the 17th International Conference on...
EAN: 9783030313036
Model Checking Software
This book constitutes the refereed proceedings of the 26th International Symposium on Model...
EAN: 9783030309220
Frontiers of Combining Systems
This book constitutes the proceedings of the 12th International Symposium on Frontiers of...
EAN: 9783030290061
Intersections in Simulation and Gaming: Disruption and Balance
This book constitutes the refereed proceedings of the Australasian Simulation Congress, ASC 2019,...
EAN: 9789813295810
Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 17th International Conference on Formal...
EAN: 9783030296612
Hybrid Systems Biology
This book constitutes the thoroughly refereed proceedings of the 6th International Workshop on...
EAN: 9783030280413
Intelligent Robotics and Applications
autonomous control of unmanned aircraft systems.Part III: marine bio-inspired robotics and soft...
EAN: 9783030275402
Intelligent Robotics and Applications
autonomous control of unmanned aircraft systems.Part III: marine bio-inspired robotics and soft...
EAN: 9783030275372
Intelligent Robotics and Applications
autonomous control of unmanned aircraft systems.Part III: marine bio-inspired robotics and soft...
EAN: 9783030275280
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 24th International Conference on Formal Methods for...
EAN: 9783030270070
Intelligent Computing Theories and Application
This two-volume set of LNCS 11643 and LNCS 11644 constitutes - in conjunction with the volume...
EAN: 9783030269685
Computer Aided Verification
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the...
EAN: 9783030255398
Advances in Bioinformatics and Computational Biology
This book constitutes the refereed proceedings of the Brazilian Symposium on Bioinformatics, BSB...
EAN: 9783030657741
Myocardial Pathology Segmentation Combining Multi-Sequence Cardiac Magnetic Resonance Images
This book constitutes the First Myocardial Pathology Segmentation Combining Multi-Sequence CMR...
EAN: 9783030656508
Uncertainty Analysis of Model Results
This book is a practical guide to the uncertainty analysis of computer model applications. Used...
EAN: 9783030094560
Bioinformation Discovery
This new edition continues to illustrate the power of biological data in knowledge discovery. It...
EAN: 9783030070151
Engineering a Robust DNA Circuit for the Direct Detection of Biomolecular Interactions
This book provides essential insights into designing a localized DNA circuit to promote the rate...
EAN: 9789811347450
Evolutionary Algorithms and Neural Networks
This book introduces readers to the fundamentals of artificial neural networks, with a special...
EAN: 9783030065720
Complex Spreading Phenomena in Social Systems
Finally, Part 4 goes into detail with recent and exciting new developments: dedicated studies...
EAN: 9783030084301
