Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
Tailoring Filter ModelsAlessi, Fabio ; Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola Berardi, Stefano ; Coppo, Mario ; Damiani, FerruccioLecture notes in computer science, 2004, p.17-33 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Capítulo de Livro
|
![]() |
Simulating diffusionAmmann, Michael W ; Brodholt, John P ; Dobson, David PReviews in mineralogy and geochemistry, 2010, Vol.71 (1), p.201-224 [Periódico revisado por pares]Mineralogical Society of America and Geochemical SocietyTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
Locales and Locale Expressions in Isabelle/IsarBallarin, Clemens Berardi, Stefano ; Coppo, Mario ; Damiani, FerruccioLecture notes in computer science, 2004, p.34-50 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
A Core Calculus of Higher-Order Mixins and ClassesBettini, Lorenzo ; Bono, Viviana ; Likavec, Silvia Berardi, Stefano ; Coppo, Mario ; Damiani, FerruccioLecture notes in computer science, 2004, p.83-98 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
Type Inference for Nested Self TypesBono, Viviana ; Tiuryn, Jerzy ; Urzyczyn, Paweł Berardi, Stefano ; Coppo, Mario ; Damiani, FerruccioLecture notes in computer science, 2004, p.99-114 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
Adaptive Probabilistic NAV to Increase Fairness in Ad Hoc 802.11 MAC LayerChaudet, Claude ; Chelius, Guillaume ; Meunier, Herve ; Simplot-Ryl, DavidAd-hoc & sensor wireless networks, 2006, Vol.2 (2) [Periódico revisado por pares]PKP Publishing ServicesNetworkTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
Conformational analysis of environmental agents: Use of X-ray crystallographic data to determine molecular reactivityCody, V McKinney, JDEnvironmental Health Perspectives [ENVIRON. HEALTH PERSPECT.]. 1985, 1985Texto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
SR-FTIR microscopy and FTIR imaging in the earth sciencesDella Ventura, Giancarlo ; Marcelli, Augusto ; Bellatreccia, FabioReviews in mineralogy and geochemistry, 2014, Vol.78 (1), p.447-479 [Periódico revisado por pares]Mineralogical Society of America and Geochemical SocietyTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
Substructural QSAR approaches and topological pharmacophoresFranke, R ; Huebel, S ; Streich, W J McKinney, JDEnvironmental Health Perspectives [ENVIRON. HEALTH PERSPECT.]. 1985, 1985Texto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Lattice dynamics from force-fields as a technique for mineral physicsGale, Julian D ; Wright, KateReviews in mineralogy and geochemistry, 2010, Vol.71 (1), p.391-411 [Periódico revisado por pares]Mineralogical Society of America and Geochemical SocietyTexto completo disponível |