skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
previous page 1 Resultados 2 3 4 next page
Refinado por: autor: Furtado, A remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

On informal approach to formal specifications

Antonio Luz Furtado T. S. E Maibaum

Rio de Janeiro Puc 1981

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

12
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

An incremental approach to the construction of data base software

Antonio Luz Furtado Carlos José Pereira de Lucena

Rio de Janeiro Puc 1977

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

13
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

On some view constructs for the specification and design of external schemas

Paulo A. S. Veloso Antonio Luz Furtado

Rio de Janeiro Puc 1983

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

14
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

On multi-step methods for stepwise construction of algebraic specifications for data base applications

Paulo A. S. Veloso Antonio Luz Furtado

Rio de Janeiro Puc 1983

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

15
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

A w-grammar approach to data bases

Antonio Luz Furtado

Rio de Janeiro PUC 1982

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

16
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Formal data base specification an eclectic perspective

Paulo A. S. Veloso Marco Antonio Casanova; Antonio Luz Furtado

Rio de Janeiro Puc 1984

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

17
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Complete and compatible sets of update operations

K. C. Sevcik Antonio Luz Furtado

Rio de Janeiro Puc 1977

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

18
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

A pragmatical approach to structured database design

Luiz Tucherman Antonio Luz Furtado; Marco Antonio Casanova

Rio de Janeiro Puc 1983

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

19
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Using graph grammars for the defintion of sets of digraphs

John Mylopoulos Antonio Luz Furtado

Rio de Janeiro Puc 1975

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

20
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Iteration for applicative languages a proposal

Antonio Luz Furtado Paulo A. S Veloso

Rio de Janeiro Puc 1988

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

previous page 1 Resultados 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Produções Técnicas  (32)
  2. Livros  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1979  (8)
  2. 1979Até1982  (8)
  3. 1983Até1997  (6)
  4. 1998Até2003  (6)
  5. Após 2003  (5)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Furtado, A
  2. Ciarlini, A
  3. Veloso, P
  4. Pozzer, C
  5. Casanova, M

Buscando em bases de dados remotas. Favor aguardar.