Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Democratizing economics: pluralism as a path toward sustainabilitySöderbaum, Peter ; Brown, JudyAnnals of the New York Academy of Sciences, 2010, Vol.1185 (1), p.179-195 [Periódico revisado por pares]United StatesTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Activation energies of the In Si ‐Si i defect transitions obtained by carrier lifetime measurementsLauer, Kevin ; Möller, Christian ; Teßmann, Christopher ; Schulze, Dirk ; Abrosimov, Nikolay V.Physica status solidi. C, 2017, Vol.14 (5) [Periódico revisado por pares]Texto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Regreening the Metropolis: Pathways to More Ecological CitiesPlatt, R HAnnals of the New York Academy of Sciences, 2004, Vol.1023, p.49-61 [Periódico revisado por pares]Texto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
Microaggregation for Categorical Variables: A Median Based ApproachTorra, Vicenç Domingo-Ferrer, Josep ; Torra, VicençPrivacy in Statistical Databases, p.162-174 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
Wellfounded Trees and Dependent Polynomial FunctorsGambino, Nicola ; Hyland, Martin Berardi, Stefano ; Coppo, Mario ; Damiani, FerruccioLecture notes in computer science, 2004, p.210-225 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
6 |
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 |
|
7 |
Material Type: Capítulo de Livro
|
Wind extremes and scales: Multifractal insights and empirical evidenceTchiguirinskaia, Ioulia ; Schertzer, D ; Lovejoy, S. ; Veysseire, J. M.Wind energy (Chichester, England), 2007, p.99-104 [Periódico revisado por pares]WileyTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
QArith: Coq Formalisation of Lazy Rational ArithmeticNiqui, Milad ; Bertot, Yves Berardi, Stefano ; Coppo, Mario ; Damiani, FerruccioLecture notes in computer science, 2004, p.309-323 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
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 |
|
10 |
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 |