Filter
Systemanalys & systemkonstruktion
Filter
-
Edge Intelligence
av Shuiguang Deng , Albert Zomaya , Schahram Dustdar m.fl.
This book constitutes the proceedings of the 21st International Conference on Smart Card Research and Advanced Applications, CARDIS 2022, which took place in November 2022. The …
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third Tsinghua Interdisciplinary …
This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during …
This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, …
This book constitutes the proceedings of the 25th RoboCup International Symposium which was held online during July 2022 in Bangkok, Thailand.The 28 full papers included in these …
This book constitutes the refereed proceedings of the 13th International Conference on Algorithms and Complexity, CIAC 2023, which took place in Larnaca, Cyprus, during June 13-16, …
This textbook covers the new development in processor architecture and parallel hardware. It provides detailed descriptions of parallel programming techniques that are necessary …
This graduate-level textbook is ideally suited for lecturing the most relevant topics of Edge Computing and its ties to Artificial Intelligence (AI) and Machine Learning (ML) …
This book constitutes revised selected papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, which was held virtually in March 2022.The 9 full …
This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, …