Systems analysis and design

This book constitutes the refereed proceedings of the 20th International Workshop on OpenMP: Advancing OpenMP for Future Accelerators, IWOMP 2024, in Perth, WA, Australia, during September 23-25, 2024.

This book constitutes the refereed proceedings of the 20th International Workshop on OpenMP: Advancing OpenMP for Future Accelerators, IWOMP 2024, in Perth, WA, Australia, during September 23-25, 2024.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.

The two-volume set CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European Conference on Systems, Software and Services Process Improvement, EuroSPI 2024, held in Munich, Germany, during September 2024.

The two-volume set CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European Conference on Systems, Software and Services Process Improvement, EuroSPI 2024, held in Munich, Germany, during September 2024.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.

This book constitutes the refereed proceedings of the 10th EAI International Conference, HealthyIoT 2023, and the 4th EAI International Conference, HealthWear 2023, held in Bratislava, Slovakia, during October 24-26, 2023.

Design patterns and architectures for building production quality applications using functional programming.

This two-volume set constitutes selected papers presented during the Second International Conference on Science, Engineering Management and Information Technology, SEMIT 2023, held in Ankara, Turkey, during September 14-15, 2023.

This two-volume set constitutes selected papers presented during the Second International Conference on Science, Engineering Management and Information Technology, SEMIT 2023, held in Ankara, Turkey, during September 14-15, 2023.

This book constitutes the refereed proceedings of the 10th EAI International Conference, HealthyIoT 2023, and the 4th EAI International Conference, HealthWear 2023, held in Bratislava, Slovakia, during October 24-26, 2023.

This book constitutes the refereed proceedings of the 20th European Workshop on Computer Performance Engineering, EPEW 2024, held in Venice, Italy, on June 14, 2024.

The three-volume set CCIS 2319-2321 constitutes the proceedings of the 26th International Conference on Human-Computer Interaction, HCII 2024, held in Washington, DC, USA, during June 29-July 4, 2024.

The three-volume set CCIS 2319-2321 constitutes the proceedings of the 26th International Conference on Human-Computer Interaction, HCII 2024, held in Washington, DC, USA, during June 29-July 4, 2024.

This book constitutes the refereed post proceedings of the 18th International Conference on Parallel Computational Technologies, PCT 2024, held in Chelyabinsk, Russia, in April 2024.

The three-volume set CCIS 2319-2321 constitutes the proceedings of the 26th International Conference on Human-Computer Interaction, HCII 2024, held in Washington, DC, USA, during June 29-July 4, 2024.

This book constitutes the refereed post proceedings of the 18th International Conference on Parallel Computational Technologies, PCT 2024, held in Chelyabinsk, Russia, in April 2024.

The three-volume set CCIS 2319-2321 constitutes the proceedings of the 26th International Conference on Human-Computer Interaction, HCII 2024, held in Washington, DC, USA, during June 29-July 4, 2024.

This book constitutes the refereed proceedings of the 20th International Conference on Metaverse - METAVERSE 2024, held in Bangkok, Thailand, during November 16-19, 2024.

This book constitutes the refereed proceedings of the 20th International Conference on Metaverse - METAVERSE 2024, held in Bangkok, Thailand, during November 16-19, 2024.

This two-volume set, CCIS 2274 and CCIS 2275, constitutes the refereed proceedings of the 39th National Conference on China Computer Federation, CCF NCCA 2024, held in Harbin, China, during July 15-18, 2024.

This two-volume set, CCIS 2274 and CCIS 2275, constitutes the refereed proceedings of the 39th National Conference on China Computer Federation, CCF NCCA 2024, held in Harbin, China, during July 15-18, 2024.

This 15-volume set LNCS 15031-15045 constitutes the refereed proceedings of the 7th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2024, held in Urumqi, China, during October 18-20, 2024.

This 15-volume set LNCS 15031-15045 constitutes the refereed proceedings of the 7th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2024, held in Urumqi, China, during October 18-20, 2024.

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6-8, 2024.

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6-8, 2024.

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.

This two-volume set CCIS 2372-2373 constitutes the proceedings of the 5th International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2024, held in Porto, Portugal, during November 21-22, 2024.

This two-volume set constitutes selected papers presented during the Second International Conference on Science, Engineering Management and Information Technology, SEMIT 2023, held in Ankara, Turkey, during September 14-15, 2023.

This two-volume set constitutes selected papers presented during the Second International Conference on Science, Engineering Management and Information Technology, SEMIT 2023, held in Ankara, Turkey, during September 14-15, 2023.

This book constitutes the refereed proceedings of the 20th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2024, held in Rome, Italy, during September 26-27, 2024.

This eleven-volume set LNCS 14815 - 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1-4, 2024.

This 15-volume set LNCS 15031-15045 constitutes the refereed proceedings of the 7th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2024, held in Urumqi, China, during October 18-20, 2024.

This 15-volume set LNCS 15031-15045 constitutes the refereed proceedings of the 7th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2024, held in Urumqi, China, during October 18-20, 2024.

This 15-volume set LNCS 15031-15045 constitutes the refereed proceedings of the 7th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2024, held in Urumqi, China, during October 18-20, 2024.

This book constitutes the refereed proceedings of the 28th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2024, held in Venice, Italy, on June 14, 2024.

The four-volume set LNCS 15364-15367 constitutes the refereed proceedings of the 22nd International Conference on Theory of Cryptography, TCC 2024, held in Milan, Italy, in December 2024.

The four-volume set LNCS 15364-15367 constitutes the refereed proceedings of the 22nd International Conference on Theory of Cryptography, TCC 2024, held in Milan, Italy, in December 2024.

This two-volume set constitutes the refereed proceedings of the 13th International Conference on Telematics and Computing , WITCOM 2024, which took place in Mazatlan, Mexico, during November 4-8, 2024.

This two-volume set constitutes the refereed proceedings of the 13th International Conference on Telematics and Computing , WITCOM 2024, which took place in Mazatlan, Mexico, during November 4-8, 2024.

This 15-volume set LNCS 15031-15045 constitutes the refereed proceedings of the 7th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2024, held in Urumqi, China, during October 18-20, 2024.

This eleven-volume set LNCS 14815 - 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1-4, 2024.

This eleven-volume set LNCS 14815 - 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1-4, 2024.

This book constitutes the refereed proceedings of the 28th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2024, held in Venice, Italy, on June 14, 2024.

This two-volume set, CCIS 2274 and CCIS 2275, constitutes the refereed proceedings of the 39th National Conference on China Computer Federation, CCF NCCA 2024, held in Harbin, China, during July 15-18, 2024.

This two-volume set, CCIS 2274 and CCIS 2275, constitutes the refereed proceedings of the 39th National Conference on China Computer Federation, CCF NCCA 2024, held in Harbin, China, during July 15-18, 2024.

This book constitutes the refereed post-proceedings of the 11th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2023, which took place in Lisbon, Portugal during February 19-21, 2023.

This book constitutes the refereed post-proceedings of the 11th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2023, which took place in Lisbon, Portugal during February 19-21, 2023.

This eleven-volume set LNCS 14815 - 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1-4, 2024.