for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book guides the reader through a design process that was tested and... Læs mere
The fields of software engineering, informatics, computer science, and... Læs mere
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... Læs mere
This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems.
This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous... Læs mere
This book constitutes the refereed proceedings of the 10th European... Læs mere