skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 next page
Refinado por: autor: Haeusler, E remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automating the generation of program analysis and verification tools
Automating the generation of program analysis and verification tools
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Automating the generation of program analysis and verification tools

Leonardo Mendonça de Moura Carlos José Pereira de Lucena; Edward Hermann Haeusler

Rio de Janeiro PUC 2000

Localização: IME - Inst. Matemática e Estatística    (S M751 2000 v.08 )(Acessar)

2
NUL dedução natural para lógica de ultrafiltros
NUL dedução natural para lógica de ultrafiltros
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

NUL dedução natural para lógica de ultrafiltros

Christian Jacques Renteria Edward Hermann Haeusler; Paulo A. S Veloso (Paulo Augusto Silva), 1944-

Rio de Janeiro PUC 2002

Localização: IME - Inst. Matemática e Estatística    (S M751 2002 v.16 )(Acessar)

3
A modular implementation of action notation
A modular implementation of action notation
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A modular implementation of action notation

Leonardo Mendonça de Moura Carlos José Pereira de Lucena; Edward Hermann Haeusler

Rio de Janeiro PUC 2000

Localização: IME - Inst. Matemática e Estatística    (S M751 2000 v.07 )(Acessar)

4
Intuitionistic type theory and general problem theory a relationship
Intuitionistic type theory and general problem theory a relationship
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Intuitionistic type theory and general problem theory a relationship

Edward Hermann Haeusler

Rio de Janeiro PUC 1988

Localização: IME - Inst. Matemática e Estatística    (S M751 1988 v.18 )(Acessar)

5
Técnicas formais e informais um estudo sobre integração usando "statecharts"
Técnicas formais e informais um estudo sobre integração usando "statecharts"
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Técnicas formais e informais um estudo sobre integração usando "statecharts"

Carlos H. C. Duarte (Carlos Henrique C.) Edward Hermann Haeusler

Rio de Janeiro PUC/RJ 1993

Localização: IME - Inst. Matemática e Estatística    (S M751 1993 v.12 )(Acessar)

6
The hot-spot relationship in OO framework design
The hot-spot relationship in OO framework design
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

The hot-spot relationship in OO framework design

Marcus Felipe M C Fontoura Edward Hermann Haeusler; Carlos José Pereira de Lucena

Rio de Janeiro PUC 1998

Localização: IME - Inst. Matemática e Estatística    (S M751 1998 v.33 )(Acessar)

7
Towards a methodology for extracting programs and solutions from constructive proofs
Towards a methodology for extracting programs and solutions from constructive proofs
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Towards a methodology for extracting programs and solutions from constructive proofs

Paulo A. S. Veloso (Paulo Augusto Silva), 1944- Edward Hermann Haeusler

Rio de Janeiro PUC 1998

Localização: IME - Inst. Matemática e Estatística    (S M751 1998 v.30 )(Acessar)

8
Programming language syntax expressing sharing
Programming language syntax expressing sharing
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Programming language syntax expressing sharing

Isabel L Cafezeiro Edward Hermann Haeusler

Rio de Janeiro PUC 1999

Localização: IME - Inst. Matemática e Estatística    (S M751 1999 v.09 )(Acessar)

9
A systematic approach for framework development
A systematic approach for framework development
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A systematic approach for framework development

Marcus Felipe M C Fontoura Edward Hermann Haeusler; Carlos José Pereira de Lucena

Rio de Janeiro PUC 1999

Localização: IME - Inst. Matemática e Estatística    (S M751 1999 v.26 )(Acessar)

10
Analysis of parallel programs
Analysis of parallel programs
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Analysis of parallel programs

Leonardo Mendonça de Moura Carlos José Pereira de Lucena; Edward Hermann Haeusler

Rio de Janeiro PUC 2000

Localização: IME - Inst. Matemática e Estatística    (S M751 2000 v.06 )(Acessar)

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Data de Publicação 

De até
Refinar
  1. Antes de1993  (1)
  2. 1993Até1997  (1)
  3. 1998Até1998  (3)
  4. 1999Até2000  (7)
  5. Após 2000  (7)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Haeusler, E
  2. Lucena, C
  3. Veloso, P
  4. Fontoura, M
  5. Moura, L

Neste Assunto:

  1. Ciência Da Computação
  2. Ciência Da Computação (Relatório Técnico)

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

Buscando em bases de dados remotas. Favor aguardar.