This book constitutes the refereed proceedings of the 9th International Conference, NooJ 2015, he...
This book constitutes the refereed proceedings of the 10thInternational Conference, NooJ 2016, ...
This book constitutes the refereed proceedings of the 11th International Conference, NooJ 2017, h...
This book constitutes the refereed proceedings of the 23rd International Conference on Applicatio...
This book constitutes the refereed proceedings of the 12th International Conference, NooJ 2018, h...
This book constitutes the refereed proceedings of the 13th International Conference, NooJ 2019, h...
This book constitutes selected revised papers of the 14th International Conference, NooJ 2020, he...
This book constitutes selected revised papers of the 15th International Conference, NooJ 2021, he...
This book constitutes selected revised papers of the 16th International Conference on Formalizing...
Empirical ¿ data-driven, neural network-based, probabilistic, and statistical ¿ methods seem to b...
This book constitutes the refereed proceedings of the 17th International Conference on Formalizin...