skip to main content
Idioma:
Mostrar Somente
Refinado por: idioma: Inglês remover assunto: Applied Sciences remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Global Artificial Boundary Conditions for Computation of External Flows with Jets
Global Artificial Boundary Conditions for Computation of External Flows with Jets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Global Artificial Boundary Conditions for Computation of External Flows with Jets

Tsynkov, Semyon ; Abarbanel, Saul ; Nordström, Jan ; Ryaben’kii, Victor ; Vatsa, Veer

AIAA journal, 2000-11, Vol.38 (11), p.2014-2022 [Periódico revisado por pares]

Reston, VA: American Institute of Aeronautics and Astronautics

Texto completo disponível

Citações Citado por
2
Bending strength of spruce end-grain butt-joints using resorcinol formaldehyde-based adhesives
Bending strength of spruce end-grain butt-joints using resorcinol formaldehyde-based adhesives
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bending strength of spruce end-grain butt-joints using resorcinol formaldehyde-based adhesives

Nordstrom, J.E.P. (Swedish Pulp and Paper Research Institute, Stockholm, Sweden.)

Forest products journal, 1995-06, Vol.45 (6), p.77-83 [Periódico revisado por pares]

Madison, WI: Forest Products Society

Sem texto completo

Citações Citado por
3
Stainless steel for high pressure piping in SWRO plants. Are there any options?
Stainless steel for high pressure piping in SWRO plants. Are there any options?
Material Type:
Artigo 		Adicionar ao Meu Espaço

Stainless steel for high pressure piping in SWRO plants. Are there any options?

Nordström, Johan ; Olsson, Jan

Desalination, 1994-08, Vol.97 (1), p.213-220 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
4
Information Retrieval in a Coq Proof Library Using Type Isomorphisms
Information Retrieval in a Coq Proof Library Using Type Isomorphisms
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Information Retrieval in a Coq Proof Library Using Type Isomorphisms

Coquand, Thierry ; Dybjer, Peter ; Nordström, Bengt ; Smith, Jan

Lecture notes in computer science, 2000, Vol.1956, p.131-147 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
5
TYPES'99 : types for proofs and programs (Lökeberg, 12-16 June 1999, selected papers)
TYPES'99 : types for proofs and programs (Lökeberg, 12-16 June 1999, selected papers)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

TYPES'99 : types for proofs and programs (Lökeberg, 12-16 June 1999, selected papers)

Coquand, Thierry ; Dybjer, Peter ; Nordström, Bengt ; Smith, Jan

Lecture notes in computer science, 2000 [Periódico revisado por pares]

Berlin: Springer

Sem texto completo

Citações Citado por
6
The Three Gap Theorem
The Three Gap Theorem
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Three Gap Theorem

Coquand, Thierry ; Dybjer, Peter ; Nordström, Bengt ; Smith, Jan

Lecture notes in computer science, 2000, Vol.1956, p.162-173 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
7
A Predicative Strong Normalisation Proof for a λ-Calculus with Interleaving Inductive Types
A Predicative Strong Normalisation Proof for a λ-Calculus with Interleaving Inductive Types
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Predicative Strong Normalisation Proof for a λ-Calculus with Interleaving Inductive Types

Coquand, Thierry ; Dybjer, Peter ; Nordström, Bengt ; Smith, Jan

Lecture notes in computer science, 2000, Vol.1956, p.21-40 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
8
A Co-inductive Approach to Real Numbers
A Co-inductive Approach to Real Numbers
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Co-inductive Approach to Real Numbers

Coquand, Thierry ; Dybjer, Peter ; Nordström, Bengt ; Smith, Jan

Lecture notes in computer science, 2000, Vol.1956, p.114-130 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
9
Formalising Formulas-as-Types-as-Objects
Formalising Formulas-as-Types-as-Objects
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Formalising Formulas-as-Types-as-Objects

Coquand, Thierry ; Dybjer, Peter ; Nordström, Bengt ; Smith, Jan

Lecture notes in computer science, 2000, Vol.1956, p.174-193 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
10
Implementation Techniques for Inductive Types in Plastic
Implementation Techniques for Inductive Types in Plastic
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Implementation Techniques for Inductive Types in Plastic

Coquand, Thierry ; Dybjer, Peter ; Nordström, Bengt ; Smith, Jan

Lecture notes in computer science, 2000, Vol.1956, p.94-113 [Periódico revisado por pares]

Germany: 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. Recursos Online (13)
  2. Revistas revisadas por pares (14)

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (9)
  2. Artigos  (5)
  3. Anais de Congresso  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1984  (1)
  2. 1984Até1993  (1)
  3. 1994Até1994  (1)
  4. 1995Até1997  (2)
  5. Após 1997  (20)
  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.