for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 26th International... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This two-volume set, LNCS 15672 and LNCS 15673, constitutes the refereed... Læs mere
Bemærk: Kan ikke leveres før jul.
The two-volume set LNCS 15701 + 15702 constitutes the proceedings of the... Læs mere
Bemærk: Kan ikke leveres før jul.
The two-volume set LNCS 15701 + 15702 constitutes the proceedings of the... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 18th International... Læs mere
Bemærk: Kan ikke leveres før jul.
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of extended papers of the... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 21st Conference on Computability and Logic, CiE 2025, held in Lisbon, Portugal, during July 14–18, 2025. The 27 full papers included in this book were carefully reviewed and selected from 49 submissions.
Bemærk: Kan ikke leveres før jul.