for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the revised selected papers of the 17th Smoky... Læs mere
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions.
This book constitutes the proceedings of the Third International Conference on 6G... Læs mere
This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held in Moscow, Russia, in September 2020.*The 51 revised full and 4 revised short papers presented were carefully reviewed and selected from 106 submissions.
The three-volume proceedings LNCS 12491, 12492, and 12493 constitutes the... Læs mere
The three-volume proceedings LNCS 12491, 12492, and 12493 constitutes the... Læs mere
This book constitutes the proceedings of the 16th International Conference on Web and Internet Economics, WINE 2020, held in Beijing, China, in December 2020.
This book constitutes the refereed proceedings of the 23rd International Conference on Distributed and Computer and Communication Networks, DCCN 2020, held in Moscow, Russia, in September 2020. analytical modeling of distributed systems, and distributed systems applications.