This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.
This two-volume set LNCS 14935-14936 constitutes the proceedings of International Workshops co-located with the 18th International Conference on Document Analysis and Recognition, ICDAR 2024, held in Athens, Greece, during August 30-31, 2024.
This book explores the transformative impact of artificial intelligence (AI) on the construction industry, examining its readiness for widespread integration and its potential to reshape various facets of the construction lifecycle.
The ten-volume set LNCS 15016-15025 constitutes the refereed proceedings of the 33rd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2024, held in Lugano, Switzerland, during September 17-20, 2024.
The ten-volume set LNCS 15016-15025 constitutes the refereed proceedings of the 33rd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2024, held in Lugano, Switzerland, during September 17-20, 2024.
This book constitutes the refereed post-conference proceedings of the Third International Conference on Applied Intelligence and Informatics, AII 2023, held in Dubai, United Arab Emirates, during October 29-31, 2023.
The two-volume set LNCS 15159 and 15160 constitutes the proceedings of 19th European Conference on Technology Enhanced Learning, EC-TEL 2024, which took place in Krems, Austria, in September 2024.
The two-volume set LNCS 15159 and 15160 constitutes the proceedings of 19th European Conference on Technology Enhanced Learning, EC-TEL 2024, which took place in Krems, Austria, in September 2024.
This 10-volume LNCS conference set constitutes the proceedings of the 17th Asian Conference on Computer Vision, in Hanoi, Vietnam, held during December 8-12, 2024.
This six-volume set, LNAI 15387-15392, constitutes the refereed proceedings of the 20th International Conference on Advanced Data Mining and Applications, ADMA 2024, held in Sydney, New South Wales, Australia, during December 3-5, 2024.
This 10-volume LNCS conference set constitutes the proceedings of the 17th Asian Conference on Computer Vision, in Hanoi, Vietnam, held during December 8-12, 2024.
This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, held in Tartu, Estonia, during December 2-4, 2024.
This book constitutes the refereed proceedings of the 30th International Conference on Cooperative Information Systems, CoopIS 2024, held in Porto, Portugal, during November 19-21, 2024.
The two-volume proceedings set LNCS 14762 and 14763 constitutes the refereed proceedings of the 29th International Conference on Applications of Natural Language to Information Systems, NLDB 2024, held in Turin, Italy, in June 25-27, 2024.
This book constitutes the proceedings of the 13th International Conference on Electronic Government and the Information Systems Perspective, EGOVIS 2024, which took place in Naples, Italy, in August 2024.
This book constitutes the proceedings of the 13th International Conference on Electronic Government and the Information Systems Perspective, EGOVIS 2024, which took place in Naples, Italy, in August 2024.
This book constitutes the refereed proceedings of the 11th International Workshop on Biomedical Image Registration, WBIR 2024, held in conjunction with the 27th International conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, in Marrakesh, Morocco in October 2024.
The two volume set CCIS 2032 and 2033 constitutes the proceedings of the 11th Congress on Simulation for a Sustainable Future, EUROSIM 2023, which was held in Amsterdam, The Netherlands, during July 3-5, 2023.
The 12-volume set LNCS 15001 - 15012 constitutes the proceedings of the 27th International Conferenc on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, which took place in Marrakesh, Morocco, during October 6-10, 2024.
The two volume set CCIS 2032 and 2033 constitutes the proceedings of the 11th Congress on Simulation for a Sustainable Future, EUROSIM 2023, which was held in Amsterdam, The Netherlands, during July 3-5, 2023.
The 12-volume set LNCS 15001 - 15012 constitutes the proceedings of the 27th International Conferenc on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, which took place in Marrakesh, Morocco, during October 6-10, 2024.
This book constitutes the refereed proceedings of the 11th International Workshop on Biomedical Image Registration, WBIR 2024, held in conjunction with the 27th International conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, in Marrakesh, Morocco in October 2024.
This book constitutes the proceedings of the 17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2024, held in Budapest, Hungary, during October 28-30, 2024.
This book constitutes the proceedings of the 17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2024, held in Budapest, Hungary, during October 28-30, 2024.
Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 42nd IMAC, A Conference and Exposition on Structural Dynamics, 2024, the third volume of ten from the Conference brings together contributions to this important area of research and engineering.
Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 42nd IMAC, A Conference and Exposition on Structural Dynamics, 2024, the third volume of ten from the Conference brings together contributions to this important area of research and engineering.
The seven-volume set LNCS 14850-14856 constitutes the proceedings of the 29th International Conference on Database Systems for Advanced Applications, DASFAA 2024, held in Gifu, Japan, in July 2024.
The seven-volume set LNCS 14850-14856 constitutes the proceedings of the 29th International Conference on Database Systems for Advanced Applications, DASFAA 2024, held in Gifu, Japan, in July 2024.
This book constitutes the proceedings of the BPM Forum held at the 22nd International Conference on Business Process Management, BPM 2024, which took place in Krakow, Poland, in September 2024.
This book constitutes the proceedings of the BPM Forum held at the 22nd International Conference on Business Process Management, BPM 2024, which took place in Krakow, Poland, in September 2024.
The five-volume set CCIS 2133-2137 constitutes the refereed proceedings of the workshops held in conjunction with the Joint European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, during September 18-22, 2023.
The five-volume set CCIS 2133-2137 constitutes the refereed proceedings of the workshops held in conjunction with the Joint European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, during September 18-22, 2023.
This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference on Parallel Problem Solving from Nature, PPSN 2024, held in Hagenberg, Austria, in September 2024.
This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference on Parallel Problem Solving from Nature, PPSN 2024, held in Hagenberg, Austria, in September 2024.
This book reveals the origin of imprecise information and establishes the mathematical models of flexible words and related mathematical and logical theories.
This book constitutes the refereed proceedings of the 4th International MICCAI Stroke Workshop on Imaging and Treatment Challenges, SWITCH 2024, as well as the Ischemic Stroke Lesion Segmentation Challenge, ISLES 2024, held in conjunction with MICCAI 2024, in Marrakesh, Morocco, on October 10, 2024.
This two-volume set, LNCS 14905-14906, constitutes the proceedings from the 23rd International Conference on Cryptology and Network Security, CANS 2024, held in Cambridge, United Kingdom during September 24-27, 2024.
This book constitutes the proceedings of the 17th International Conference on Social, Cultural, and Behavioral Modeling, SBP-BRiMS 2024, which was held in Pittsburgh, PA, USA, during September 18-20, 2024.
This book constitutes the proceedings of the 17th International Conference on Social, Cultural, and Behavioral Modeling, SBP-BRiMS 2024, which was held in Pittsburgh, PA, USA, during September 18-20, 2024.
This two-volume set, LNCS 14905-14906, constitutes the proceedings from the 23rd International Conference on Cryptology and Network Security, CANS 2024, held in Cambridge, United Kingdom during September 24-27, 2024.
This book reveals the origin of imprecise information and establishes the mathematical models of flexible words and related mathematical and logical theories.
The 12-volume set LNCS 15001 - 15012 constitutes the proceedings of the 27th International Conferenc on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, which took place in Marrakesh, Morocco, during October 6-10, 2024.
The 12-volume set LNCS 15001 - 15012 constitutes the proceedings of the 27th International Conferenc on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, which took place in Marrakesh, Morocco, during October 6-10, 2024.
This book constitutes the proceedings of the 15th International Workshop on Machine Learning in Medical Imaging, MLMI 2024, held in conjunction with MICCAI 2024, Marrakesh, Morocco, on October 6, 2024.
This book constitutes the proceedings of the 15th International Workshop on Machine Learning in Medical Imaging, MLMI 2024, held in conjunction with MICCAI 2024, Marrakesh, Morocco, on October 6, 2024.
This 13-volume set LNCS 14862-14874 constitutes - in conjunction with the 6-volume set LNAI 14875-14880 and the two-volume set LNBI 14881-14882 - the refereed proceedings of the 20th International Conference on Intelligent Computing, ICIC 2024, held in Tianjin, China, during August 5-8, 2024.
This two-volume set, LNAI 15446 and LNAI 15447, constitutes the refereed proceedings of the 44th SGAI International Conference on Artificial Intelligence, AI 2024, held in Cambridge, UK, during December 17-19, 2024.
This book constitutes the refereed proceedings of the First International Conference on Intelligent Computing, Smart Communication and Network Technologies, ICICSCNT 2023, held in Chennai, India, during April 26-27, 2023.
