Title: Kubernetes in Action, Second Edition, Author: Marko Luksa Pre-Order Now
Title: Mastering Software Architecture: A Comprehensive New Model and Approach, Author: Michael Carducci
Title: Software Engineering: Basic Principles and Best Practices, Author: Ravi Sethi
Title: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III, Author: Tiziana Margaria
Title: Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV, Author: Tiziana Margaria
Title: Software Architecture: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings, Author: Antónia Lopes
Title: Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings, Author: Lucas Lima
Title: Applied Computer Sciences in Engineering: Third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised Selected Papers, Author: Juan Carlos Figueroa-García
Title: Dependable Computing - EDCC 2021 Workshops: DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings, Author: Rasmus Adler
Title: Google Anthos in Action: Manage hybrid and multi-cloud Kubernetes clusters, Author: Antonio Gulli et al.
Title: NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings, Author: Aaron Dutle
Title: Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, Author: Nir Piterman
Title: Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage: Third International Conference, TMM_CH 2023, Athens, Greece, March 20-23, 2023, Revised Selected Papers, Author: Antonia Moropoulou
Title: Evaluation of Novel Approaches to Software Engineering: 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers, Author: Hermann Kaindl
Title: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II, Author: Tiziana Margaria
Title: Agile Methods: 8th Brazilian Workshop, WBMA 2017, Belém, Brazil, September 13-14, 2017, Revised Selected Papers, Author: Viviane Almeida dos Santos
Title: Risks and Security of Internet and Systems: 13th International Conference, CRiSIS 2018, Arcachon, France, October 16-18, 2018, Revised Selected Papers, Author: Akka Zemmari
Title: Applied Computer Sciences in Engineering: 8th Workshop on Engineering Applications, WEA 2021, Medellín, Colombia, October 6-8, 2021, Proceedings, Author: Juan Carlos Figueroa-García
Title: Model and Data Engineering: 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings, Author: Mohamed Mosbah
Title: Software Quality: Higher Software Quality through Zero Waste Development: 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings, Author: Daniel Mendez

Pagination Links