Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
A technique for recursive invariance detection and selective program specializationGiannotti, F. ; Hermenegildo, M.Programming Language Implementation and Logic Programming, 2005, p.323-334 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
ImmunodermatologyThivolet, J. ; Katz, S. I. ; Haustein, U. F. ; Imamura, S. ; Stingl, G. ; Faure, M. ; Camp, R. ; Gigli, Irma ; Yoshida, H. ; Stanley, J. R. ; Takigawa, M. ; Goihman-Yahr, M. ; Rothenberg, A. ; Rosquete, R. ; Avila-Millán, E. ; Istúriz, G. ; Viloria, N. ; Saavedra de Borges, N. ; Carrasquero, M. ; Pérez de Fernández, B. ; Tapia, F. J. ; Bastardo de Albornoz, M. C. ; Bretaña, A. ; Urquiola, G. ; de Gómez, M. H. ; San Martín, B. ; de Román, A. ; Pereira, J. ; Giannotti, B. ; van Vloten, W. A. ; Lawley, T. J. ; Czarnetzki, B. M.Dermatology in Five Continents, p.999-1025Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |