Title: Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, Author: Simon Bliudze
Title: Service-Oriented Computing: 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013. Proceedings, Author: Samik Basu
Title: Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings, Author: Susanne Graf
Title: Software Product Lines: Second International Conference, SPLC 2, San Diego, CA, USA, August 19-22, 2002. Proceedings, Author: Gary J. Chastek
Title: Proof in VDM: A Practitioner's Guide, Author: Juan C. Bicarregui
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software, Author: Reinhold Ploesch
Title: .NET MAUI in Action, Author: Matt Goldman
Title: Component-Based Development for Enterprise Systems: Applying the SELECT Perspective, Author: Paul Allen
Title: Configuration in Industrial Product Families: The ConIPF Methodology, Author: L. Hotz
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: Java: Data Structures and Programming, Author: Liwu Li
Title: Service-Oriented and Cloud Computing: 11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20-21, 2025, Proceedings, Author: Claus Pahl
Title: Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, Author: John Derrick
Title: Gradle Recipes for Android: Master the New Build System for Android, Author: Ken Kousen
Title: Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee, Author: Kurt Jensen
Title: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, Author: Constantin Enea
Title: Software Engineering Education: SEI Conference 1992, San Diego, California, USA, October 5-7, 1992. Proceedings, Author: Carol Sledge
Title: Agile Testing: An Overview, Author: Fergus Mason
Title: Pro PHP-GTK, Author: Scott Mattocks
Title: Flash MX Application And Interface Design: Data delivery, navigation, and fun in Flash MX, XML, and PHP, Author: Connor McDonald

Pagination Links