Title: Mathematical Aspects of Scientific Software, Author: J.R. Rice
Title: Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings, Author: Barbara Paech
Title: Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, Author: Bernhard Steffen
Title: Analysis and Design of Information Systems, Author: Arthur M. Langer
Title: Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceed, Author: C.R. Ramakrishnan
Title: Software Process Improvement: 11th European Conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004. Proceedings, Author: T. Dingsïyr
Title: Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers, Author: José Luiz Fiadeiro
Title: Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers, Author: Ed Brinksma
Title: The Synthesizer Generator: A System for Constructing Language-Based Editors, Author: Thomas W. Reps
Title: Docker Cookbook: Solutions and Examples for Building Distributed Applications, Author: S bastien Goasguen
Title: UML Modeling Languages and Applications: <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers, Author: Nuno Jardim Nunes
Title: Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers, Author: Didier Bert
Title: Transactions on Aspect-Oriented Software Development I, Author: Awais Rashid
Title: KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report, Author: Manfred Broy
Title: Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings, Author: Heinz G. Schmidt
Title: Process Improvement in Practice: A Handbook for IT Companies, Author: Tore Dybï
Title: A Theory and Practice of Program Development, Author: Derek J. Andrews
Title: Software Process Improvement: 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings, Author: Ita Richardson
Title: Larch: Languages and Tools for Formal Specification, Author: John V. Guttag
Title: Algebraic Methods II: Theory, Tools and Applications, Author: Jan A. Bergstra

Pagination Links