Søgning på underkategorier- og emner:
This book covers essential topics in the architecture and design of Internet of Things (IoT) systems. Coverage includes essential topics in system modeling, edge/cloud architectures, and security and safety, including cyberphysical systems and industrial control systems.
This book constitutes the proceedings of the 15th International Workshop on Algorithms and Models for the Web Graph, WAW 2018, held in Moscow, Russia in May 2018. The 11 full papers presented in this volume were carefully reviewed and selected from various submissions.
This book constitutes the refereed proceedings of the 11th International... Læs mere
This book constitutes the refereed proceedings of the 25th International Symposium on Model... Læs mere
This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018.
This book constitutes the proceedings of the 13th International Conference... Læs mere
This book constitutes the proceedings of the 16th International... Læs mere
This book constitutes the proceedings of the 24th International Conference on Computing and... Læs mere