LIBRARY Software Engineering for Games in Serious Contexts : Theories, Methods, Tools, and Experiences 2023 · ENGLISH · PDF View details →
LIBRARY High Performance Computing: 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22–25, 2020, Proceedings 2020 · ENGLISH · PDF View details →
LIBRARY Engineering Multi-Agent Systems: 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers 2020 · ENGLISH · PDF View details →
LIBRARY Software Technologies: 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers 2020 · ENGLISH · PDF View details →
LIBRARY Frontiers in Software Engineering Education: First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers 2020 · ENGLISH · PDF View details →
LIBRARY Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures 2020 · ENGLISH · PDF View details →
LIBRARY Service-Oriented Computing: 14th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2020, Crete, Greece, September 13-19, 2020 2020 · ENGLISH · PDF View details →
LIBRARY Theory of Cryptography: 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II 2020 · ENGLISH · PDF View details →
LIBRARY Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY 2020 · ENGLISH · PDF View details →
LIBRARY Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2018, Como, Italy, September 12–14, 2018, Revised Selected Papers 2020 · ENGLISH · PDF View details →
LIBRARY Systems Modelling and Management: First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings 2020 · ENGLISH · PDF View details →
LIBRARY Technologies and Innovation: 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 – December 3, 2020, Proceedings 2020 · ENGLISH · PDF View details →
LIBRARY Applied Computer Sciences in Engineering: 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings 2020 · ENGLISH · PDF View details →
LIBRARY Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II 2020 · ENGLISH · PDF View details →
LIBRARY Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III 2020 · ENGLISH · PDF View details →
LIBRARY Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I 2020 · ENGLISH · PDF View details →
LIBRARY Softwareentwicklung kompakt und verständlich: Wie Softwaresysteme entstehen 2020 · GERMAN · PDF View details →
LIBRARY Financial Cryptography and Data Security: 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers 2018 · ENGLISH · PDF View details →
LIBRARY Entwicklung von Echtzeitsystemen: Einführung in die Entwicklung zuverlässiger softwarebasierter Funktionen unter Echtzeitbedingungen 2019 · GERMAN · PDF View details →
LIBRARY Agile Methods: 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers 2019 · ENGLISH · PDF View details →
LIBRARY Technologies and Innovation: 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings 2019 · ENGLISH · PDF View details →
LIBRARY New Trends in Model and Data Engineering: MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings 2019 · ENGLISH · PDF View details →