This textbook is intended for an undergraduate course on the fundamentals of parallel computing or as a background and reference for graduate courses on high-performance computing, shared-memory multiprocessor programming, or parallel algorithms....Loe edasi...
This book constitutes the proceedings of the 27th RoboCup International Symposium which was held in Eindhoven, The Netherlands, during July 15-22, 2024.The 34 regular papers included in these proceedings were carefully reviewed and selected fr...Loe edasi...
(Ilmumisaeg: 21-Mar-2025, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662708095)
The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and desi...Loe edasi...
This book presents the theoretical foundations of the MDATA cognitive model and its applications in the field of cybersecurity. The MDATA model is an innovative analytical tool designed to simulate and improve cognitive processes. It bridges cogni...Loe edasi...
The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate stu...Loe edasi...
This volume originated from an international, interdisciplinary research course organized by the Institute of Information Management of the University of Münster in 2021-2022, funded by the DAAD IVAC sponsorship program....Loe edasi...
(Ilmumisaeg: 25-Oct-2024, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662701423)
The LNCS journal Transactions on Large-scale Data and Knowledge-centered Systemsfocuses on data management, knowledge discovery, and knowledge processing, which arecore and hot topics in computer science. Since the 1990s, the Internet has become t...Loe edasi...
The first group, formal methods for artificial intelligence, comprised: formal specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; The second group, artif...Loe edasi...
This book constitutes the refereed proceedings of the 5th International Conference on Dynamic Data Driven Applications Systems, DDDAS/Infosymbiotics for Reliable AI 20...Loe edasi...
This 20-volume set LNCS 15842-15861 constitutes - in conjunction with the 4-volume set LNAI 15862-15865 and the 4-volume set LNBI 15866-15869 - the refereed proceedings of the 21st International Conference on Intelligent Computing, ICIC 2025, held i...Loe edasi...
This 20-volume set LNCS 15842-15861 constitutes - in conjunction with the 4-volume set LNAI 15862-15865 and the 4-volume set LNBI 15866-15869 - the refereed proceedings of the 21st International Conference on Intelligent Computing, ICIC 2025, held i...Loe edasi...
The three-volume set LNCS 15900-15902 constitutes the proceedings of the 31st European Conference on Parallel and Distributed Processing, Euro-Par 2025, which took place in Dresden, Germany, during August 25–29, 2025.The 78 papers included...Loe edasi...
