Søgning på underkategorier- og emner:
This book constitutes the thoroughly refereed post-conference proceedings of... Læs mere
This book constitutes the refereed proceedings of the 18th International... Læs mere
This book constitutes the proceedings of the 6th International Symposium on... Læs mere
The conference covers various aspects of information technologies, focusing on queueing theory, stochastic processes, Markov processes, renewal theory, network performance equation and network protocols.
This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019.
This book constitutes the proceedings of the 17th International Conference on... Læs mere
This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions.
This book constitutes the proceedings of the 5th International Conference on... Læs mere
This book constitutes the refereed proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019.The 21 full papers presented were carefully reviewed and selected from 45 submissions.