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)
Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings (Lecture Notes in Computer Science Book 9274) (English Edition)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, ... Science Book 10598) (English Edition)
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Lecture Notes ... Science Book 11865) (English Edition)
Measuring Professional Competence for the Teaching of Mathematical Modelling: A Test Instrument (International Perspectives on the Teaching and Learning of Mathematical Modelling) (English Edition)
Regional Inequality and Development: Measurement and Applications in Indonesia (New Frontiers in Regional Science: Asian Perspectives Book 63) (English Edition)
Information Security and Cryptology – ICISC 2022: 25th International Conference, ICISC 2022, Seoul, South Korea, November 30 – December 2, 2022, Revised ... Science Book 13849) (English Edition)
Universal Access in Human-Computer Interaction: 17th International Conference, UAHCI 2023, Held as Part of the 25th HCI International Conference, HCII ... Science Book 14021) (English Edition)
Advanced Research in Technologies, Information, Innovation and Sustainability: 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October ... Science Book 2347) (English Edition)
