Title: Agile Methods: 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers, Author: Paulo Meirelles
Title: Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, Author: Khaled El-Fakih
Title: OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments: Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers, Author: Manjunath Gorentla Venkata
Title: New Trends in Model and Data Engineering: MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, Proceedings, Author: Christian Attiogbé
Title: Conceptual Modeling: 41st International Conference, ER 2022, Hyderabad, India, October 17-20, 2022, Proceedings, Author: Jolita Ralyté
Title: Conceptual Modeling: 39th International Conference, ER 2020, Vienna, Austria, November 3-6, 2020, Proceedings, Author: Gillian Dobbie
Title: Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, Author: Andrei Paskevich
Title: Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Author: Maurice H. ter Beek
Title: OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity: 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers, Author: Swaroop Pophale
Title: Advances in Conceptual Modeling: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings, Author: Giancarlo Guizzardi
Title: Automated Theorem Proving in Software Engineering, Author: Johann M. Schumann
Title: Software Architecture: 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13-17, 2021, Revised Selected Papers, Author: Patrizia Scandurra
Title: Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings, Author: Radu Calinescu
Title: Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Author: Shuvendu K. Lahiri
Title: Advances in Agile and User-Centred Software Engineering: Third International Conference on Lean and Agile Software Development, LASD 2019, and 7th Conference on Multimedia, Interaction, Design and Innovation, MIDI 2019, Leipzig, Germany, September 1-4, 20, Author: Adam Przybylek
Title: Agile Software Requirements: Lean Requirements Practices for Teams, Programs, and the Enterprise, Author: Dean Leffingwell
Title: Algorithmic Game Theory: 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings, Author: Xiaotie Deng
Title: Technologies and Innovation: 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 - December 3, 2020, Proceedings, Author: Rafael Valencia-García
Title: Service-Oriented and Cloud Computing: 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings, Author: Kyriakos Kritikos
Title: Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6-8, 2019, Revised Selected Papers, Author: Jean-Michel Bruel

Pagination Links