When we contemplate phenomena as diverse as electrochemical deposition or the spatial patterns of urban development, it is natural to assume that they havenothing incommon.
The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.
The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013, held in February 2013 in Las Palmas de Gran Canaria, Spain.
The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.
The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain.
The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013, held in February 2013 in Las Palmas de Gran Canaria, Spain.
The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain.
Scheduled transportation networks give rise to very complex and large-scale networkoptimization problems requiring innovative solution techniques and ideas from mathematical optimization and theoretical computer science.
This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.
This book offers a comprehensive guide to several aspects of risk, including information systems, disaster management, supply chain and disaster management perspectives.
This book offers a comprehensive guide to several aspects of risk, including information systems, disaster management, supply chain and disaster management perspectives.
This book introduces the concept of digital twins and their purposive usage, including the technology infrastructure and the method support necessary for their construction.
As coined in the book of Nassim Taleb, antifragility is a property of a system to gain from uncertainty, randomness, and volatility, opposite to what fragility would incur.
This book constitutes the refereed post-conference proceedings of the 16th EAI International Conference on Simulation Tools and Techniques, SIMUTools 2024, held in Bratislava, Slovakia, in December 2024.
This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.
This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.
This book summarizes the mathematics used by engineers, with an emphasis on developing practical skills and techniques for solving mathematical problems in forms typical of engineering.
This book summarizes the mathematics used by engineers, with an emphasis on developing practical skills and techniques for solving mathematical problems in forms typical of engineering.
This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to March 1, 2024.
This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to March 1, 2024.
This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to March 1, 2024.
This book CCIS 2483 constitutes the proceedings of the First International Symposium on Systems Modelling and Simulation, SMS 2024, held in Johor Bahru, Malaysia, during December 16–17, 2024.
This book CCIS 2483 constitutes the proceedings of the First International Symposium on Systems Modelling and Simulation, SMS 2024, held in Johor Bahru, Malaysia, during December 16–17, 2024.
This book constitutes the refereed post-conference proceedings of the 16th EAI International Conference on Simulation Tools and Techniques, SIMUTools 2024, held in Bratislava, Slovakia, in December 2024.
This book introduces the concept of digital twins and their purposive usage, including the technology infrastructure and the method support necessary for their construction.
This book features best-selected research papers presented at International Conference on Computational Modeling and Sustainable Energy (ICCMSE 2023) held at Pandit Deendayal Energy University, Gandhinagar, Gujarat, India, during December 15-17, 2023.
This book features best-selected research papers presented at International Conference on Computational Modeling and Sustainable Energy (ICCMSE 2023) held at Pandit Deendayal Energy University, Gandhinagar, Gujarat, India, during December 15-17, 2023.
This volume LNCS constitutes the refereed proceedings of 31st European MPI Users' Group Meeting, EuroMPI 2024, held in Perth, WA, Australia, during September 25-27, 2024.
This volume LNCS 14615 constitutes the refereed proceedings of the 10th International Conference on Modelling and Simulation for Autonomous Systems, MESAS 2023, in October 17-19, 2023, in Palermo, Italy.
This volume LNCS 14615 constitutes the refereed proceedings of the 10th International Conference on Modelling and Simulation for Autonomous Systems, MESAS 2023, in October 17-19, 2023, in Palermo, Italy.
This book offers a geospatial technology approach to data mining techniques, data analysis, modeling, risk assessment, and visualization, as well as management strategies in many elements of river basin risks.
This volume LNCS constitutes the refereed proceedings of 31st European MPI Users' Group Meeting, EuroMPI 2024, held in Perth, WA, Australia, during September 25-27, 2024.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
This book constitutes the refereed proceedings of the 23rd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of Complex Systems, AsiaSim 2024, held in Kobe, Japan, during September 17-20, 2024.
This book constitutes the refereed proceedings of the 4th International and First International Workshop on Human Activity Recognition and Anomaly Detection, Conjunction with IJCAI 2024, held in Jeju, South Korea, during August 3-9, 2024.
This book constitutes the refereed proceedings of the 4th International and First International Workshop on Human Activity Recognition and Anomaly Detection, Conjunction with IJCAI 2024, held in Jeju, South Korea, during August 3-9, 2024.
