The industrial internet has the characteristics of "e;change"e;, "e;integration"e; and "e;new"e;, and the security risks it faces are greatly different from the traditional Internet.
This third volume of the book series “Domain-Specific Conceptual Modeling” presents new application cases for domain-specific modeling languages and for the engineering of modeling languages and tools.
As organizations strive to balance innovation with accountability, this second volume in a trilogy on fuzzy systems and digital ethics examines how ethical and sustainable practices can be operationalized at the institutional level.
The industrial internet has the characteristics of "e;change"e;, "e;integration"e; and "e;new"e;, and the security risks it faces are greatly different from the traditional Internet.
Quantitative Finance with Case Studies in Python: A Practical Guide to Investment Management, Trading and Financial Engineering bridges the gap between the theory of mathematical finance and the practical applications of these concepts for derivative pricing and portfolio management.
This third volume of the book series “Domain-Specific Conceptual Modeling” presents new application cases for domain-specific modeling languages and for the engineering of modeling languages and tools.
Quantitative Finance with Case Studies in Python: A Practical Guide to Investment Management, Trading and Financial Engineering bridges the gap between the theory of mathematical finance and the practical applications of these concepts for derivative pricing and portfolio management.
The two-volume set LNCS 16046-16047 constitutes the proceedings of the 36th International Conference on Database and Expert Systems Applications, DEXA 2025, held in Bangkok, Thailand, in August 25–27, 2025.
This book constitutes the refereed proceedings of the 44th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2025, held in Stockholm, Sweden, during September 2025.
The two-volume set CCIS 2657 + 2658 constitutes the refereed proceedings of the 32nd European Conference on Systems, Software and Services Process Improvement, EuroSPI 2025, held in Riga, Latvia, during September 17-19, 2025.
The two-volume set LNCS 16046-16047 constitutes the proceedings of the 36th International Conference on Database and Expert Systems Applications, DEXA 2025, held in Bangkok, Thailand, in August 25–27, 2025.
The two-volume set CCIS 2657 + 2658 constitutes the refereed proceedings of the 32nd European Conference on Systems, Software and Services Process Improvement, EuroSPI 2025, held in Riga, Latvia, during September 17-19, 2025.
The two-volume set LNCS 16046-16047 constitutes the proceedings of the 36th International Conference on Database and Expert Systems Applications, DEXA 2025, held in Bangkok, Thailand, in August 25–27, 2025.
This volume constitutes the refereed proceedings of the 7th International Workshop on AI System Engineering: Math, Modelling and Software, AISys 2025 and the First International Workshop on Optimisation of Industrial Production with AI Algorithms, AI4IP, co-located with the 36th International Conference on Database and Expert Systems Applications, DEXA 2025, which took place in Bangkok, Thailand, during August 25-27, 2025.
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.
The two-volume set LNCS 16046-16047 constitutes the proceedings of the 36th International Conference on Database and Expert Systems Applications, DEXA 2025, held in Bangkok, Thailand, in August 25–27, 2025.
This book constitutes the refereed proceedings of the 44th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2025, held in Stockholm, Sweden, during September 2025.
This volume constitutes the refereed proceedings of the 7th International Workshop on AI System Engineering: Math, Modelling and Software, AISys 2025 and the First International Workshop on Optimisation of Industrial Production with AI Algorithms, AI4IP, co-located with the 36th International Conference on Database and Expert Systems Applications, DEXA 2025, which took place in Bangkok, Thailand, during August 25-27, 2025.
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.
This book constitutes the proceedings of the Workshops held in conjunction with the 44th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2025, which took place in Stockholm, Sweden, during September 2025.
This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.
This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.
This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.
This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.
This book constitutes the proceedings of the Workshops held in conjunction with the 44th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2025, which took place in Stockholm, Sweden, during September 2025.
This book constitutes the thoroughly refereed proceedings of the 8th International Joint Conference on Software Technologies, ICSOFT 2013, held in Reykjavik, Iceland, in July 2013.
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.
The idea that self-organisation and emergence can be harnessed for the purpose of solving tricky engineering problems is becoming increasingly accepted.
The AI Book of Prompts is a practical guide to mastering prompt engineering and using artificial intelligence more effectively across work, creativity, and innovation.
This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017.
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017.
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
