Filter
Generell datateori
Filter
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software …
The three volumes LNCS 10820, 10821, and 10822 constitute the thoroughly refereed proceedings of the 37th Annual International Conference on the Theory and Applications of …
This is the first comprehensive treatment of subjective logic and all its operations. The author developed the approach, and in this book he first explains subjective opinions, …
This book constitutes extended and revised versions of a set of selected papers from the 12th International Joint Conference on Biomedical Engineering Systems and Technologies, …
This book constitutes the proceedings of the 22nd International Conference on Text, Speech, and Dialogue, TSD 2019, held in Ljubljana, Slovenia, in September 2019. The 33 full …
In this book, the editors explain how students enrolled in two digital forensic courses at their institution are exposed to experiential learning opportunities, where the students …
This book significantly contributes the digital transformation of construction. The book explores the capabilities of deep learning to provide smart solutions for the construction …
This book constitutes the thoroughly refereedpost-workshop proceedings of two workshops held at the International Conferenceon Artificial Intelligence in Medicine, AIME 2015, held …
This book contains the works connected with the key advances in Intelligent Information Technologies for Industry presented in the main track of IITI 2022, the Sixth International …
This book constitutes the refereed proceedings of the Third International Conference on Dynamic Data Driven Application Systems, DDDAS 2020, held in Boston, MA, USA, in October …