skip to main content
Idioma:
Refinado por: Base de dados/Biblioteca: Wiley-Blackwell Full Collection 2013 remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Democratizing economics: pluralism as a path toward sustainability
Democratizing economics: pluralism as a path toward sustainability
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Democratizing economics: pluralism as a path toward sustainability

Söderbaum, Peter ; Brown, Judy

Annals of the New York Academy of Sciences, 2010, Vol.1185 (1), p.179-195 [Periódico revisado por pares]

United States

Texto completo disponível

Citações Citado por
2
Activation energies of the In Si ‐Si i defect transitions obtained by carrier lifetime measurements
Activation energies of the In Si ‐Si i defect transitions obtained by carrier lifetime measurements
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Activation energies of the In Si ‐Si i defect transitions obtained by carrier lifetime measurements

Lauer, 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

Citações Citado por
3
Regreening the Metropolis: Pathways to More Ecological Cities
Regreening the Metropolis: Pathways to More Ecological Cities
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Regreening the Metropolis: Pathways to More Ecological Cities

Platt, R H

2004

Texto completo disponível

Citações Citado por
4
Microaggregation for Categorical Variables: A Median Based Approach
Microaggregation for Categorical Variables: A Median Based Approach
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Microaggregation for Categorical Variables: A Median Based Approach

Torra, Vicenç Domingo-Ferrer, Josep ; Torra, Vicenç

Privacy in Statistical Databases, p.162-174 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Wellfounded Trees and Dependent Polynomial Functors
Wellfounded Trees and Dependent Polynomial Functors
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Wellfounded Trees and Dependent Polynomial Functors

Gambino, Nicola ; Hyland, Martin Berardi, Stefano ; Coppo, Mario ; Damiani, Ferruccio

Lecture notes in computer science, 2004, p.210-225 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Locales and Locale Expressions in Isabelle/Isar
Locales and Locale Expressions in Isabelle/Isar
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Locales and Locale Expressions in Isabelle/Isar

Ballarin, Clemens Berardi, Stefano ; Coppo, Mario ; Damiani, Ferruccio

Lecture notes in computer science, 2004, p.34-50 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
QArith: Coq Formalisation of Lazy Rational Arithmetic
QArith: Coq Formalisation of Lazy Rational Arithmetic
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

QArith: Coq Formalisation of Lazy Rational Arithmetic

Niqui, Milad ; Bertot, Yves Berardi, Stefano ; Coppo, Mario ; Damiani, Ferruccio

Lecture notes in computer science, 2004, p.309-323 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Tailoring Filter Models
Tailoring Filter Models
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Tailoring Filter Models

Alessi, Fabio ; Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola Berardi, Stefano ; Coppo, Mario ; Damiani, Ferruccio

Lecture notes in computer science, 2004, p.17-33 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
A Core Calculus of Higher-Order Mixins and Classes
A Core Calculus of Higher-Order Mixins and Classes
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Core Calculus of Higher-Order Mixins and Classes

Bettini, Lorenzo ; Bono, Viviana ; Likavec, Silvia Berardi, Stefano ; Coppo, Mario ; Damiani, Ferruccio

Lecture notes in computer science, 2004, p.83-98 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Type Inference for Nested Self Types
Type Inference for Nested Self Types
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Type Inference for Nested Self Types

Bono, Viviana ; Tiuryn, Jerzy ; Urzyczyn, Paweł Berardi, Stefano ; Coppo, Mario ; Damiani, Ferruccio

Lecture notes in computer science, 2004, p.99-114 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.