Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the 26th International Symposium on Model... Læs mere
This book constitutes the refereed proceedings of the 13th International... Læs mere
The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.
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