for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
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.
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.
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.
The 6-volume set constitutes the workshop proceedings of the 25th... Læs mere
The 6-volume set constitutes the workshop proceedings of the 25th... Læs mere
The 6-volume set constitutes the worshop proceedings of the 25th... Læs mere
The 6-volume set constitutes the workshop proceedings of the 25th... Læs mere
The 4-volume set LNCS constitutes the main proceedings of the 25th International... Læs mere
The 4-volume set LNCS constitutes the main proceedings of the 25th International... Læs mere
The 4-volume set LNCS constitutes the main proceedings of the 25th International... Læs mere