Title: Handbook of Re-Engineering Software Intensive Systems into Software Product Lines, Author: Roberto E. Lopez-Herrejon
Title: Model-Based Approaches to the Internet of Things, Author: Pascal Hirmer
Title: Code Clone Analysis: Research, Tools, and Practices, Author: Katsuro Inoue
Title: Knowledge-Based Software Engineering: 2020: Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 2020, Author: Maria Virvou
Title: Software Sustainability, Author: Coral Calero
Title: NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings, Author: Jyotirmoy V. Deshmukh
Title: Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings, Author: Maurice H. ter Beek
Title: Euro-Par 2021: Parallel Processing: 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021, Proceedings, Author: Leonel Sousa
Title: Quality of Information and Communications Technology: 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings, Author: Ana C. R. Paiva
Title: Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, Author: Marieke Huisman
Title: Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings, Author: Owolabi Legunsen
Title: Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015, Revised Selected Papers, Author: Jan Kofron
Title: Software Architecture: 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings, Author: Henry Muccini
Title: Essential Spectrum-based Fault Localization, Author: Xiaoyuan Xie
Title: Service-Oriented Computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings, Author: Quan Z. Sheng
Title: Advances in Computing: 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings, Author: Andrés Solano
Title: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Author: Tiziana Margaria
Title: Applied Computer Sciences in Engineering: 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019, Proceedings, Author: Juan Carlos Figueroa-Garcïa
Title: Service-Oriented Computing: 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings, Author: Michael Maximilien
Title: Technology Trends: 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29-31, 2018, Revised Selected Papers, Author: Miguel Botto-Tobar

Pagination Links