for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
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.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-performance computers. After foundational Ph.D.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 15th International Conference on Combinatorics on Words, WORDS 2025, held in Nancy, France, during June 30– July 4, 2025. The 20 papers included in these proceedings were carefully reviewed and selected from 31 submissions.
Bemærk: Kan ikke leveres før jul.
The 6-volume set constitutes the workshop proceedings of the 25th... Læs mere
Bemærk: Kan ikke leveres før jul.
The 6-volume set constitutes the workshop proceedings of the 25th... Læs mere