Title: Advances in Model and Data Engineering in the Digitalization Era: MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings, Author: Mohamed Mosbah
Title: Advances in Computers, Author: Ali Hurson
Title: Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures, Author: Jonathan P. Bowen
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: Neural-Symbolic Learning and Reasoning: 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part I, Author: Tarek R. Besold
Title: Frontiers in Software Engineering Education: Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers, Author: Alfredo Capozucca
Title: Transactions on Aspect-Oriented Software Development XII, Author: Shigeru Chiba
Title: Frontiers in Software Engineering: First International Conference, ICFSE 2021, Innopolis, Russia, June 17-18, 2021, Revised Selected Papers, Author: Giancarlo Succi
Title: Service-Oriented Computing - ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers, Author: Khalil Drira
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: Agile Methods: 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8-10, 2021, Revised Selected Papers, Author: Carla Rocha
Title: Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers, Author: Rostislav Yavorskiy
Title: The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, Author: Wolfgang Ahrendt
Title: Reference Architectures for Critical Domains: Industrial Uses and Impacts, Author: Elisa Yumi Nakagawa
Title: Specification of Software Systems, Author: V.S. Alagar
Title: Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, Author: Bernd Finkbeiner
Title: Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, Author: Jun Pang
Title: Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, Author: Lu Feng
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: Advanced Computing Strategies for Engineering: 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I, Author: Ian F. C. Smith

Pagination Links