for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and... Læs mere
This book constitutes the revised selected papers of the 5th International Workshop on Active... Læs mere
This book is the first volume of proceedings from the 18th International... Læs mere
This book is the second volume of proceedings from the 18th International... Læs mere
This book is the third volume of proceedings from the 18th International... Læs mere
This book constitutes the refereed post-conference proceedings of the 4th... Læs mere
This book constitutes the refereed proceedings of the 11th International Symposium on From Data to Models and Back, DataMod 2023, held in Eindhoven, The Netherlands during November 6–7, 2023. The 8 full papers presented were carefully reviewed and selected from 10 submissions.
Learning C# Through Small Projects offers you a hands-on approach to understanding advanced C# concepts through engaging projects and minigames.
Using the C++ standard library for parallelism and concurrency (HPX), the same language features can be extended to... Læs mere