Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
Adaptation of Multiscale Function Extension to Inexact Matching: Application to the Mapping of Individuals to a Learnt ManifoldDuchateau, Nicolas ; De Craene, Mathieu ; Sitges, Marta ; Caselles, Vicent Barbaresco, Frédéric ; Nielsen, FrankGeometric Science of Information, p.578-586 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Capítulo de Livro
|
![]() |
Specifying distributed software architecturesMagee, Jeff ; Dulay, Naranker ; Eisenbach, Susan ; Kramer, Jeff Botella, Pere ; Schäfer, WilhelmSoftware Engineering — ESEC '95, 2005, p.137-153 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
An empirical evaluation of three defect-detection techniquesKamsties, Erik ; Lott, Christopher M. Botella, Pere ; Schäfer, WilhelmSoftware Engineering — ESEC '95, 2005, p.362-383 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
Conference OrganizationSamarati, Pierangela ; Farkas, CsillaResearch Directions in Data and Applications Security XVIII, 2004The Netherlands: Kluwer Academic PublishersTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
An integrated formal model of scenarios based on statechartsGlinz, Martin Botella, Pere ; Schäfer, WilhelmSoftware Engineering — ESEC '95, 2005, p.254-271 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
Component Programming — a fresh look at software componentsJazayeri, Mehdi Botella, Pere ; Schäfer, WilhelmSoftware Engineering — ESEC '95, 2005, p.457-478 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
Quelques formules multisécantes pour les surfacesle Barz, Patrick Xambó-Descamps, SebastianEnumerative Geometry, 2006, p.151-188Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
Assessing the quality of large, software-intensive systems: A case studyBrown, Alan W. ; Carney, David J. ; Clements, Paul C. ; Meyers, B. Craig ; Smith, Dennis B. ; Weiderman, Nelson H. ; Wood, William G. Botella, Pere ; Schäfer, WilhelmSoftware Engineering — ESEC '95, 2005, p.384-404 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
A complete axiomatisation for the inclusion of series-parallel partial ordersBechet, Denis ; de Groote, Philippe ; Retoré, Christian Comon, HubertRewriting Techniques and Applications, 1997, p.230-240 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Termination of context-sensitive rewritingZantema, H. Comon, HubertRewriting Techniques and Applications, 1997, p.172-186 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |