Title: Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, Author: Bernd Finkbeiner
Title: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III, Author: Tiziana Margaria
Title: Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings, Author: Flavio De Paoli
Title: Accelerating Nonprofit Impact with Salesforce: Implement Nonprofit Cloud for efficient and cost-effective operations to drive your nonprofit mission, Author: Melissa Hill Dees
Title: Agile Methods: 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8-10, 2021, Revised Selected Papers, Author: Carla Rocha
Title: Lean and Agile Software Development: 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedings, Author: Adam Przybylek
Title: Parallel Computing Technologies: 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings, Author: Victor Malyshkin
Title: Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Author: Yliès Falcone
Title: Git für Dummies, Author: Michael Kaufmann
Explore Series
Title: Microsoft Dynamics 365 Project Operations: Deliver profitable projects with effective project planning and productive operational workflows, Author: Robert Houdeshell
Title: Advanced Parallel Processing Technologies: 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings, Author: Yong Dou
Title: Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures, Author: Jácome Cunha
Title: The Practice of Enterprise Modeling: 10th IFIP WG 8.1. Working Conference, PoEM 2017, Leuven, Belgium, November 22-24, 2017, Proceedings, Author: Geert Poels
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: Distributed Applications and Interoperable Systems: 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proce, Author: David Eyers
Title: Domain Storytelling: A Collaborative, Visual, and Agile Way to Build Domain-Driven Software, Author: Stefan Hofer
Title: Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers, Author: Lin Zhang
Title: Advances in Service-Oriented and Cloud Computing: International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Revised Selected Papers, Author: Christian Zirpins
Title: Euro-Par 2019: Parallel Processing: 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26-30, 2019, Proceedings, Author: Ramin Yahyapour
Title: Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, Author: Jun Pang

Pagination Links