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 Second Edition introduces the technical features that make up blockchain technology today, including the numerous changes that have occurred since the publication of the prior edition.
This Second Edition introduces the technical features that make up blockchain technology today, including the numerous changes that have occurred since the publication of the prior edition.
The seven-volume set LNCS 15737-15743 constitutes the proceedings of the International Conference on Extended Reality, XR Salento 2025, held in Otranto, Italy, during June 17-20, 2025.
The two-volume set CCIS 2467 and 2468 constitutes the refereed post-conference proceedings of the 6th International Conference on Higher Education Learning Methodologies and Technologies Online, HELMeTO 2024, held in Rome, Italy, during September 25–27, 2024.
The seven-volume set LNCS 15737-15743 constitutes the proceedings of the International Conference on Extended Reality, XR Salento 2025, held in Otranto, Italy, during June 17-20, 2025.
The seven-volume set LNCS 15737-15743 constitutes the proceedings of the International Conference on Extended Reality, XR Salento 2025, held in Otranto, Italy, during June 17-20, 2025.
This book constitutes the refereed proceedings of the 23rd International Conference on Business Process Management, BPM 2025, which took place in Seville, Spain, in September 2025.
The two-volume set CCIS 2651 + 2652 constitutes the proceedings of the 5th International Conference on Science, Engineering Management and Information Technology, SEMIT 2025, held in Dubai, UAE, during September 11–13, 2025.
This book constitutes the proceedings of the 29th International Conference on Implementation and Application of Automata, CIAA 2025, held in Palermo, Italy, during September 22–25, 2025.
The seven-volume set LNCS 15737-15743 constitutes the proceedings of the International Conference on Extended Reality, XR Salento 2025, held in Otranto, Italy, during June 17-20, 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.
The two-volume set CCIS 2467 and 2468 constitutes the refereed post-conference proceedings of the 6th International Conference on Higher Education Learning Methodologies and Technologies Online, HELMeTO 2024, held in Rome, Italy, during September 25–27, 2024.
This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.
With the fast Internet development, we are experiencing a shift from the traditional sharing of information and applications as the main purpose of the Web to an emergent paradigm, which locates people at the very centre of networks and exploits the value of people's connections, relations and collaboration.
This book includes original unpublished contributions presented at the International Conference on Data Analytics and Management (ICDAM 2025), held at London Metropolitan University, London, UK, during June 2025.
This book constitutes the proceedings of the First Nordic Energy Informatics Academy Conference, Nordic EIA 2025, which took place in Stockholm, Sweden, in August 2025.
This book includes original unpublished contributions presented at the International Conference on Data Analytics and Management (ICDAM 2025), held at London Metropolitan University, London, UK, during June 2025.
This book constitutes the proceedings of the First Nordic Energy Informatics Academy Conference, Nordic EIA 2025, which took place in Stockholm, Sweden, in August 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 constitutes the proceedings of the First Nordic Energy Informatics Academy Conference, Nordic EIA 2025, which took place in Stockholm, Sweden, in August 2025.
This book constitutes the proceedings of the First Nordic Energy Informatics Academy Conference, Nordic EIA 2025, which took place in Stockholm, Sweden, in August 2025.
P2P, Grid, Cloud and Internet computing technologies have been very fast established as breakthrough paradigms for solving complex problems by enabling aggregation and sharing of an increasing variety of distributed computational resources on a large scale.
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.
La Inteligencia Artificial (IA) forma parte de la vida cotidiana de la mayoria de las personas desde hace tiempo, aunque no siempre seamos conscientes de ello.
This book comprises a selection of articles from the 13th World Conference on Information Systems and Technologies (WorldCIST’25), held from April 15 to 17, 2025, at the Federal University of Santa Catarina, Florianópolis, Brazil.
P2P, Grid, Cloud and Internet computing technologies have been very fast established as breakthrough paradigms for solving complex problems by enabling aggregation and sharing of an increasing variety of distributed computational resources on a large scale.
This book discusses a number of crucial issues on the information science, that presented to the Qualitative and Quantitative Methods in Libraries International Conference (QQML2024) which was organized under the umbrella of ISAST International Society.
Reconocer la interaccion farmaco-objetivo (DTI) es una tarea crucial en el descubrimiento de farmacos in silico, que es costoso y requiere mucho tiempo debido al gran alcance de la busqueda de posibles farmacos en un amplio espacio de compuestos farmacologicos.
This comprehensive book on Explainable Artificial Intelligence has been updated and expanded to reflect the latest advancements in the field of XAI, enriching the existing literature with new research, case studies, and practical techniques.
This book constitutes the refereed proceedings of the 8th International Conference, VISIGRAPP 2013 consisting of the Joint Conferences on Computer Vision (VISAPP), the International Conference on Computer Graphics, GRAPP 2013, and the International Conference on Information Visualization IVAPP 2013, held in Barcelona, Spain, in February 2013.
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 textbook provides a detailed study of continuous and discrete time signals and systems, at a theoretical as well as a practical level, for undergraduate as well as graduate students.