for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
This book constitutes the refereed proceedings of the 14th World Congress... Læs mere
This book constitutes the proceedings of the 16th International... Læs mere
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions.
Machine learning of software artefacts is an emerging area of interaction... Læs mere
The three volume-set, LNCS 10991, LNCS 10992, and LNCS 10993, constitutes... Læs mere
This book constitutes the refereed proceedings of the 15th International... Læs mere
This book constitutes the proceedings of the 11th International Conference on Artificial General Intelligence, AGI 2018, held in Prague, Czech Republic, in August 2018.
This book constitutes the thoroughly refereed proceedings of the 18th International Conference on Transport Systems Telematics, TST 2018, held in Krakow, Poland in March 2018. The 36 full papers presented in this volume were carefully reviewed and selected from 128 submissions.
This book constitutes the proceedings of the 11th International Conference on... Læs mere
This book constitutes the refereed proceedings of the 14th International Conference on... Læs mere