skip to main content
Idioma:
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Wiley Online Library Full Collection 2016 remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

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
2
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
3
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

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
4
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
5
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ç

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
6
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

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

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
8
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

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
9
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ł

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
10
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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (13)

Data de Publicação 

De até
Refinar
  1. Antes de1997  (1)
  2. 1997Até2003  (1)
  3. 2004Até2006  (10)
  4. 2007Até2010  (2)
  5. Após 2010  (1)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.