Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Lecture Notes in Computer Science Book 13255) (English Edition)
Advanced Trajectory Optimization, Guidance and Control Strategies for Aerospace Vehicles: Methods and Applications (Springer Aerospace Technology) (English Edition)
Smart Objects and Technologies for Social Goods: 8th EAI International Conference, GOODTECHS 2022, Aveiro, Portugal, November 16-18, 2022, Proceedings ... Engineering Book 476) (English Edition)
Smart Objects and Technologies for Social Good: 7th EAI International Conference, GOODTECHS 2021, Virtual Event, September 15–17, 2021, Proceedings (Lecture ... Engineering Book 401) (English Edition)
Smart Objects and Technologies for Social Good: Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedings (Lecture ... Engineering Book 233) (English Edition)
Smart Objects and Technologies for Social Good: Second International Conference, GOODTECHS 2016, Venice, Italy, November 30 – December 1, 2016, Proceedings ... Engineering Book 195) (English Edition)
The Ricci Flow in Riemannian Geometry: A Complete Proof of the Differentiable 1/4-Pinching Sphere Theorem (Lecture Notes in Mathematics Book 2011) (English Edition)
Security Standardisation Research: Third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5–6, 2016, Proceedings (Lecture Notes in Computer Science Book 10074) (English Edition)