Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 29th International... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 20th International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 17th International... Læs mere
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 refereed proceedings of the 24th International Conference on Runtime... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the XXIIIrd... Læs mere
Bemærk: Kan ikke leveres før jul.
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024. The 18 full papers presented here were carefully reviewed and selected from 37 submissions.
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.