skip to main content
Idioma:
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Wiley Online Library Database Model remover tipo de recurso: Book Chapters remover Wiley-Blackwell Full Collection 2009 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
Recruitment of Blood Donors
Recruitment of Blood Donors
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Recruitment of Blood Donors

McCullough, Jeffrey McCullough, Jeffrey

Transfusion Medicine, 2016, p.28-40 [Periódico revisado por pares]

United Kingdom: John Wiley & Sons, Incorporated

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
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
5
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
6
Thermodynamic model for mineral solubility in aqueous fluids: theory, calibration and application to model fluid-flow systems
Thermodynamic model for mineral solubility in aqueous fluids: theory, calibration and application to model fluid-flow systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Thermodynamic model for mineral solubility in aqueous fluids: theory, calibration and application to model fluid-flow systems

DOLEJŠ, D ; MANNING, C.E Manning, Craig ; Yardley, Bruce ; Garven, Grant

Frontiers in Geofluids, 2011, Vol.10 (1-2), p.20-40 [Periódico revisado por pares]

United Kingdom: Oxford, UK : Blackwell Publishing Ltd

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (11)

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.