for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 25th International... Læs mere
This book constitutes the proceedings of the 22nd International Conference on... Læs mere
This book constitutes the refereed proceedings of the 25th International... Læs mere
This book constitutes the proceedings of the 16th International Conference on Quantitative Evaluation Systems, QEST 2019, held in Glasgow, UK, in September 2019. The 17 full papers presented together with 2 short papers were carefully reviewed and selected from 40 submissions.
This book constitutes the proceedings of the 16th International Workshop... Læs mere
This book constitutes the refereed proceedings of the 11th International... Læs mere
This book constitutes the proceedings of the 17th Russian Conference on Artificial Intelligence, RCAI 2019, held in Ulyanovsk, Russia, in October 2019. The conference deals with a wide range of topics, including multi-agent systems, intelligent robots and behaviour planning;
This book constitutes the refereed proceedings of the 13th International Conference on... Læs mere
This book constitutes the refereed proceedings of the 26th International Symposium on Model... Læs mere
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM... Læs mere
This book constitutes the proceedings of the 16th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2019, held in Alcudia, Mallorca, Spain, in October 2019.