Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
2 |
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 |
|
3 |
Material Type: Livro
|
VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 ProceedingsBjørner, Dines ; Jones, Cliff B ; Mac an Airchinnigh, Mícheál ; Neuhold, Erich J Neuhold, Erich J. ; Bjørner, Dines ; Jones, Cliff B. ; Mac an Airchinnigh, MícheálBerlin, Heidelberg: Springer Berlin Heidelberg 1987Texto 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
|
Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, ProceedingsCrnkovic, Ivica ; Stafford, Judith A ; Schmidt, Heinz W ; Wallnau, Kurt Wallnau, Kurt ; Stafford, Judith A. ; Crnkovic, Ivica ; Schmidt, Heinz W.Berlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
6 |
Material Type: Livro
|
Software Architectures for Product Families: International Workshop IW-SAPF-3. Las Palmas de Gran Canaria, Spain, March 15-17, 2000 ProceedingsLinden, Frank van der van der Linden, FrankBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
7 |
Material Type: Livro
|
Software Product-Family Engineering: 4th International Workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 : Revised PapersLinden, Frank van der van der Linden, FrankBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
8 |
Material Type: Livro
|
VDM '88 VDM — The Way Ahead: 2nd VDM-Europe Symposium Dublin, Ireland, September 11–16, 1988 ProceedingsBloomfield, Robin E ; Marshall, Lynn S ; Jones, Roger B Marshall, Lynn S. ; Jones, Roger B. ; Bloomfield, Robin E.Berlin, Heidelberg: Springer Berlin Heidelberg 1988Texto completo disponível |
|
9 |
Material Type: Livro
|
Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, ProceedingsAlur, Rajeev Alur, Rajeev ; Lee, InsupBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
|
10 |
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 |