for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This volume constitutes the refereed proceedings of the 26th European... Læs mere
This book constitutes the proceedings of the 12th International Symposium on Frontiers of... Læs mere
This book constitutes the proceedings of the 28th International... Læs mere
This book constitutes the thoroughly refereed post-conference proceedings of the... Læs mere
This book constitutes extended, revised and selected papers from the 8th International Conference on Cloud Computing and Services Science, CLOSER 2018, held in Funchal, Portugal in March 2018.
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
This book constitutes the refereed proceedings of the 12th International... Læs mere
This book constitutes the proceedings of the 25th International Conference... Læs mere
This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions.