Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the 13th International Conference on Flexible Query Answering Systems, FQAS 2019, held in Amantea, Italy, in July 2019. The 27 full papers and 10 short papers presented were carefully reviewed and selected from 43 submissions.
This volume constitutes the refereed proceedings of the 26th European... Læs mere
This book constitutes the refereed proceedings of the 13th International Conference on Parallel Computational Technologies, PCT 2019, held in Kaliningrad, Russia, in April 2019.The 24 revised full papers presented were carefully reviewed and selected from 96 submissions.
This book constitutes the proceedings of the 15th International Workshop... Læs mere
This book constitutes the proceedings of the 28th International... 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 refereed proceedings of the 12th International... 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.
This book constitutes the proceedings of the 13th International Symposium on Advanced Parallel Processing Technologies, APPT 2019, held in Tianjin, China, in August 2019. The 11 full papers presented in this volume were carefully reviewed and selected from 35 submissions.
This two-volume set constitutes the proceedings of the Third Conference... Læs mere
?This book constitutes the refereed proceedings of the 51st International... Læs mere
This book constitutes the refereed proceedings of the 13th International Conference on... Læs mere