Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Software Engineering Approaches for Offshore and Outsourced Development: Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008, Revised PapersBerkling, KayBerlin, Heidelberg: Springer-Verlag 2009Sem texto completo |
|
2 |
Material Type: Livro
|
Object Technologies for Advanced Software: First JSSST International Symposium Kanazawa, Japan, November 4–6, 1993 ProceedingsNishio, Shojiro ; Yonezawa, Akinori Nishio, Shojiro ; Yonezawa, AkinoriBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
|
3 |
Material Type: Livro
|
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 ProceedingsNaftalin, Maurice ; Denvir, Tim ; Bertran, Miquel Bertran, Miquel ; Denvir, Tim ; Naftalin, MauriceBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
|
4 |
Material Type: Livro
|
Software Process Technology: Second European Workshop, EWSPT '92 Trondheim, Norway, September 7–8 1992 ProceedingsDerniame, Jean-Claude Derniame, Jean-ClaudeBerlin, Heidelberg: Springer Berlin Heidelberg 1992Texto completo disponível |
|
5 |
Material Type: Livro
|
Systems, Software and Services Process Improvement: 27th European Conference, EuroSPI 2020, Düsseldorf, Germany, September 9-11, 2020, ProceedingsYilmaz, Murat ; Niemann, Jörg ; Clarke, Paul ; Messnarz, Richard Niemann, Jörg ; Yilmaz, Murat ; Messnarz, Richard ; Clarke, PaulNetherlands: Springer Nature 2020Sem texto completo |
|
6 |
Material Type: Livro
|
Software Development Environments and CASE Technology: European Symposium Königswinter, June 17–19, 1991 ProceedingsEndres, A ; Weber, H Endres, A. ; Weber, H.Berlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
|
7 |
Material Type: Livro
|
TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 ProceedingsMosses, Peter D ; Nielsen, Mogens ; Schwartzbach, Michael I Schwartzbach, Michael I. ; Mosses, Peter D. ; Nielsen, MogensBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
8 |
Material Type: Livro
|
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected PapersBrinksma, E ; Cleaveland, W. R ; Larsen, K. G ; Margaria, T ; Steffen, B Margaria, T. ; Cleaveland, W. R. ; Larsen, K. G. ; Steffen, B. ; Brinksma, E.Berlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
9 |
Material Type: Livro
|
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 ProceedingsMargaria, Tiziana ; Steffen, Bernhard Margaria, Tiziana ; Steffen, BernhardBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
|
10 |
Material Type: Livro
|
Software Process Technology: Third European Workshop, EWSPT '94 Villard de Lans, France, February 7–9, 1994 ProceedingsWarboys, Brian C Warboys, Brian C.Berlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |