for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
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 revised selected papers of the 11th... Læs mere
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.
This two-volume set constitutes the refereed proceedings of the 16th... Læs mere
This book constitutes the proceedings of the XV Multidisciplinary International Congress on Science and Technology (CIT 2020), held in Quito, Ecuador, on 26–30 October 2020, proudly organized by Universidad de las Fuerzas Armadas ESPE in collaboration with GDEON.
This book constitutes the refereed proceedings of the 9th International... Læs mere
This volume constitutes the refereed proceedings of the Second International Conference on... Læs mere
The papers focus on simulation methods, simulation techniques, simulation software, simulation performance, modeling formalisms, simulation verification and widely used frameworks.
This book constitutes the refereed proceedings of the 17th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2021, held virtually in May 2021.The 4 full papers and 3 short papers presented were carefully reviewed and selected from 23 submissions.
This book constitutes extended, revised and selected papers from the 22nd... Læs mere