Model Checking Software
This book constitutes the refereed proceedings of the 27th International Symposium on Model...
EAN: 9783030846282
Computer Aided Verification
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the...
EAN: 9783030816841
Segmentation, Classification, and Registration of Multi-modality Medical Imaging Data
EAN: 9783030718268
Modelling and Simulation for Autonomous Systems
This book constitutes the thoroughly refereed post-conference proceedings of the 7th...
EAN: 9783030707392
Head and Neck Tumor Segmentation
This book constitutes the First 3D Head and Neck Tumor Segmentation in PET/CT Challenge, HECKTOR...
EAN: 9783030671938
Advances in Core Computer Science-Based Technologies
EAN: 9783030411985
Intelligent Equipment, Robots, and Vehicles
The three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed...
EAN: 9789811672125
Recent Advances in Sustainable Energy and Intelligent Systems
The three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed...
EAN: 9789811672095
Intelligent Life System Modelling, Image Processing and Analysis
EAN: 9789811672064
Algorithmic Game Theory
This book constitutes the refereed proceedings of the 14th International Symposium on Algorithmic...
EAN: 9783030859466
Bond Graph Modelling for Control, Fault Diagnosis and Failure Prognosis
EAN: 9783030609665
Foundations and Methods of Stochastic Simulation
This graduate-level textbook covers modelling, programming and analysis of stochastic computer...
EAN: 9783030861933
Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. IV)
This book contains the most recent progress in data assimilation in meteorology, oceanography and...
EAN: 9783030777210
Simulation for Cyber-Physical Systems Engineering
This comprehensive book examines a range of examples, prepared by a diverse group of academic and...
EAN: 9783030519117
Mathematical Models of Cancer and Different Therapies
This book provides a unified framework for various currently available mathematical models that...
EAN: 9789811586422
Applied Mathematics and Computational Mechanics for Smart Applications
This book presents best selected research papers presented at the Thirteenth International...
EAN: 9789813348257
Innovations and Implementations of Computer Aided Drug Discovery Strategies in Rational Drug Design
This book presents various computer-aided drug discovery methods for the design and development...
EAN: 9789811589355
Architectural Intelligence
Focusing on novel architecture theories, tools, methods, and procedures for digital design and...
EAN: 9789811565670
Mathematical Analysis of Continuum Mechanics and Industrial Applications III
This book focuses on mathematical theory and numerical simulation related to various areas of...
EAN: 9789811560613
International Conference on Emerging Trends in Engineering (ICETE)
EAN: 9783030243166
Proceedings of the 2019 DigitalFUTURES
The “2019 DigitalFUTURES — The 1st International Conference on Computational Design and Robotic...
EAN: 9789811381553
Bayesian Networks for Reliability Engineering
After focusing on the engineering systems, the book subsequently discusses twelve important...
EAN: 9789811365188
Behavioral Predictive Modeling in Economics
This book presents both methodological papers on and examples of applying behavioral predictive...
EAN: 9783030497279
Decision Support Systems for Weed Management
Although previous contributions focusing on weed biology and weed management provide valuable...
EAN: 9783030444013
