for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021.
This book constitutes the refereed proceedings of the 14th International... Læs mere
This book constitutes the refereed proceedings of the 22nd International... Læs mere
This book constitutes the refereed proceedings of the 18th International... Læs mere
The LNCS journal Transactions on Large-Scale Data and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.
This two-volume set (CCIS 1367-1368) constitutes reviewed and selected... Læs mere
This book constitutes the refereed proceedings of the Second... Læs mere
This book constitutes the thoroughly refereed proceedings of the 38th National Conference of Theoretical Computer Science, NCTCS 2020, held in Nanning, China, in November 2020. The 13 full papers presented were carefully reviewed and selected from 28 submissions.
The aim of the book is to create a bridge between two ‘lands’ that are usually kept separate: technical tools and legal rules should be bound together for moulding a special ‘toolbox’ to solve present and future issues.
This book constitutes the refereed proceedings of the Second International Conference on Big Data and Security, ICBDS 2020, held in Singapore, Singapore, in December 2020. The 44 revised full papers and 8 short papers were carefully reviewed and selected out of 153 submissions.
This book constitutes revised and selected papers of the First... Læs mere