Title: Algebraic Methods II: Theory, Tools and Applications, Author: Jan A. Bergstra
Title: New Trends in Software Methodologies, Tools and Techniques (Frontiers in Artificial Intelligence and Applications), Author: Mohamed Mejri
Title: Docker Cookbook: Solutions and Examples for Building Distributed Applications, Author: Sy bastien Goasguen
Title: Software Engineering Techniques: Design for Quality, Author: Krzysztof Sacha
Title: Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings, Author: Ivica Crnkovic
Title: A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors, Author: R. Kurki-Suonio
Title: Building Microservices: Designing Fine-Grained Systems, Author: Sam Newman
Title: The Unified Process Construction Phase: Best Practices in Implementing the UP, Author: Scott Ambler
Title: ROI of Software Process Improvement: Metrics for Project Managers and Software Engineers, Author: David Rico
Title: A Practical Handbook for Software Development, Author: N. D. Birrell
Title: TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings, Author: Marie-Claude Gaudel
Title: Proof Technology and Computation: Volume 200 NATO Science Series, Computer and Systems Sciences, Author: Helmut Schwichtenberg
Title: Categories for Software Engineering, Author: Jose Luiz Fiadeiro
Title: Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings., Author: Tiziana Margaria
Title: Computerbasierte Lernumgebungen zur Unterstuetzung selbstgesteuerter Lernprozesse: Eine objektorientierte Modellierung mit der Unified Modeling Language (UML), Author: Frank Arnold
Title: Iterating Infusion: Clearer Views of Objects, Classes, and Systems, Author: Greg Anthony
Title: VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings, Author: Robin E. Bloomfield
Title: Perspectives on Software Requirements, Author: Julio Cesar Sampaio do Prado Leite
Title: From MDD Concepts to Experiments and Illustrations, Author: Jean-Philippe Babau
Title: Larch: Languages and Tools for Formal Specification, Author: John V. Guttag

Pagination Links