skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Programming in Martin-Löf's type theory an introduction
Programming in Martin-Löf's type theory an introduction
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming in Martin-Löf's type theory an introduction

Bengt Nordström Kent Petersson; Jan M Smith

Oxford New York Clarendon Press Oxford University Press 1990

Localização: IME - Inst. Matemática e Estatística    (QA9.55 N832p )(Acessar)

2
Types for Proofs and Programs
Types for Proofs and Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs

TYPES '99 Thierry Coquand; Peter Dybjer; Bengt Nordström; Jan Smith

Springer Berlin / Heidelberg 2000

Acesso online

3
Types for Proofs and Programs
Types for Proofs and Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs

International Workshop TYPES '94 Peter Dybjer; Bengt Nordström; Jan M Smith

Springer Berlin Heidelberg 1995

Acesso online

4
Nonlinear boundary conditions for initial boundary value problems with applications in computational fluid dynamics
Nonlinear boundary conditions for initial boundary value problems with applications in computational fluid dynamics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Nonlinear boundary conditions for initial boundary value problems with applications in computational fluid dynamics

Nordström, Jan

Journal of computational physics, 2024-02, Vol.498, p.112685, Article 112685 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
5
A skew-symmetric energy and entropy stable formulation of the compressible Euler equations
A skew-symmetric energy and entropy stable formulation of the compressible Euler equations
Material Type:
Artigo 		Adicionar ao Meu Espaço

A skew-symmetric energy and entropy stable formulation of the compressible Euler equations

Nordström, Jan

Journal of computational physics, 2022-12, Vol.470, p.111573, Article 111573 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
6
Nonlinear and linearised primal and dual initial boundary value problems: When are they bounded? How are they connected?
Nonlinear and linearised primal and dual initial boundary value problems: When are they bounded? How are they connected?
Material Type:
Artigo 		Adicionar ao Meu Espaço

Nonlinear and linearised primal and dual initial boundary value problems: When are they bounded? How are they connected?

Nordström, Jan

Journal of computational physics, 2022-04, Vol.455, p.111001, Article 111001 [Periódico revisado por pares]

Cambridge: Elsevier Inc

Texto completo disponível

Citações Citado por
7
Review of summation-by-parts schemes for initial–boundary-value problems
Review of summation-by-parts schemes for initial–boundary-value problems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Review of summation-by-parts schemes for initial–boundary-value problems

Svard, Magnus ; Nordstrom, Jan

Journal of computational physics, 2014-07, Vol.268, p.17-38 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
8
A Roadmap to Well Posed and Stable Problems in Computational Physics
A Roadmap to Well Posed and Stable Problems in Computational Physics
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Roadmap to Well Posed and Stable Problems in Computational Physics

Nordström, Jan

Journal of scientific computing, 2017-04, Vol.71 (1), p.365-385 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
9
A new variational discretization technique for initial value problems bypassing governing equations
A new variational discretization technique for initial value problems bypassing governing equations
Material Type:
Artigo 		Adicionar ao Meu Espaço

A new variational discretization technique for initial value problems bypassing governing equations

Rothkopf, Alexander ; Nordström, Jan

Journal of computational physics, 2023-03, Vol.477, p.111942, Article 111942 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
10
Summation-by-parts in time
Summation-by-parts in time
Material Type:
Artigo 		Adicionar ao Meu Espaço

Summation-by-parts in time

Nordström, Jan ; Lundquist, Tomas

Journal of computational physics, 2013-10, Vol.251, p.487-499 [Periódico revisado por pares]

Elsevier Inc

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (423)
  2. Book Chapters  (35)
  3. Anais de Congresso  (29)
  4. Reports  (28)
  5. Livros  (9)
  6. Dissertações  (9)
  7. Videos  (4)
  8. Conjunto de Dados  (3)
  9. magazinearticle  (2)
  10. Resenhas  (2)
  11. Imagens  (1)
  12. Verbetes  (1)
  13. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1990  (10)
  2. 1990Até1997  (25)
  3. 1998Até2005  (90)
  4. 2006Até2014  (144)
  5. Após 2014  (287)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Nordström, B
  2. Smith, J
  3. Dybjer, P
  4. TYPES '99
  5. Coquand, T

Neste Assunto:

  1. Science & Technology
  2. Physical Sciences
  3. Technology
  4. Computer Science
  5. Mathematics

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

Buscando em bases de dados remotas. Favor aguardar.