Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference ... Science Book 13271) (English Edition)
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th ... Science Book 9933) (English Edition)
Designing Life with IT x AI Awakening Greed to Create the Future: How to get a new way of working by using side hustles and skills starting in your forties (Japanese Edition)