for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
The two-volume set of LNCS 11941 and 11942 constitutes the refereed... Læs mere
This book constitutes the proceedings of the 39th SGAI International... Læs mere
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions.
This volume constitutes the proceedings of the 11th International Conference on Social Informatics, SocInfo 2019, held in Doha, Qatar, in November 2019.
This book constitutes the proceedings of the 11th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2019, held in Trento, Italy, in November 2019.
This book constitutes the refereed proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019.The 21 full papers presented were carefully reviewed and selected from 45 submissions.
This book constitutes the refereed proceedings of the 12th International Conference... Læs mere
This book constitutes the refereed proceedings of the 24th Nordic Conference on Secure IT Systems,... Læs mere
The papers have been organized in the following topical sections: Knowledge Representation for AI, AI and Computation, Machine Learning for AI, and AI and Humans.
This book constitutes the proceedings of the 17th IMA International Conference on... Læs mere