Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018. The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions.
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020.
Both the book and DIANA itself are valuable resources for students and researchers in all the structural engineering fields, such as... Læs mere
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.
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