Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This volume contains papers presented at UTP 2019, the 7th International... Læs mere
Bemærk: Kan ikke leveres før jul.
??This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday. It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 17th International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the conference proceedings of the 6th International Conference on Algorithmic Decision Theory, ADT 2019, held in Durham, NC, USA, in October 2019.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the First Challenge in... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the Second International Workshop on Predictive Intelligence in Medicine, PRIME 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019.
Bemærk: Kan ikke leveres før jul.
This volume constitutes the refereed proceedings of the 26th International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 4th International... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
The conference covers various aspects of information technologies, focusing on queueing theory, stochastic processes, Markov processes, renewal theory, network performance equation and network protocols.
Bemærk: Kan ikke leveres før jul.
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.