skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Single Journals 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
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
3
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
4
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
5
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
6
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
7
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
8
Privacy Preserving and Data Mining in an On-Line Statistical Database of Additive Type
Privacy Preserving and Data Mining in an On-Line Statistical Database of Additive Type
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Privacy Preserving and Data Mining in an On-Line Statistical Database of Additive Type

Malvestuto, Francesco M. ; Mezzini, Mauro

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Computational Experiments with Minimum-Distance Controlled Perturbation Methods
Computational Experiments with Minimum-Distance Controlled Perturbation Methods
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Computational Experiments with Minimum-Distance Controlled Perturbation Methods

Castro, Jordi

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Adaptive Probabilistic NAV to Increase Fairness in Ad Hoc 802.11 MAC Layer
Adaptive Probabilistic NAV to Increase Fairness in Ad Hoc 802.11 MAC Layer
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Adaptive Probabilistic NAV to Increase Fairness in Ad Hoc 802.11 MAC Layer

Chaudet, Claude ; Chelius, Guillaume ; Meunier, Herve ; Simplot-Ryl, David

Ad-hoc & sensor wireless networks, 2006, Vol.2 (2) [Periódico revisado por pares]

PKP Publishing ServicesNetwork

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (14)

Data de Publicação 

De até
Refinar
  1. Antes de1987  (9)
  2. 1987Até1996  (2)
  3. 1997Até2001  (2)
  4. 2002Até2006  (12)
  5. Após 2006  (14)
  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.