Practical and foundational advances in software technology.-Formal foundations of software tech...

This book constitutes the refereed proceedings of the 22nd International Conference on Computatio...

This book constitutes the proceedings of the 8th International Conference on Intelligent Transpor...

This book constitutes revised selected papers of the 12th International Symposium on From Data Mo...