for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This open access book improves the users' skills needed to implement models for performance evaluation of digital infrastructures.
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.
This open access book introduces key concepts in robotics in an easy to understand language using an engaging project-based approach.
Convergence in crossover service explores the crossover phenomenon, crossover services and the convergence issues that arise in typical crossover scenarios.
This book focuses on novel design and systems engineering approaches, including theories and best practices, for promoting a better integration of people and engineering systems.
The papers cover a large variety of topics, including testing, formal... Læs mere
The two volumes LNCS 11982 and 11983 constitute the proceedings of the 11th... Læs mere
This open access book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous infrastructures, including cloud, HPC and edge resources.