1
|
Material Type: Relatório Técnico
|
|
Some constructions on categories related to fork and projection algebras
Paulo A. S. Veloso (Paulo Augusto Silva), 1944-
Rio de Janeiro PUC 1998
Localização:
IME - Inst. Matemática e Estatística
(S M751 1998 v.15 ) e outros locais(Acessar)
|
2
|
Material Type: Relatório Técnico
|
|
Don't write more axioms than you have to a mecation of abstract data types with examples
Paulo A. S. Veloso (Paulo Augusto Silva), 1944- Tarcisio H. C Pequeno
Rio de Janeiro Puc 1979
Localização:
IME - Inst. Matemática e Estatística
(S M751 1979 v.10 )(Acessar)
|
3
|
Material Type: Relatório Técnico
|
|
On some meanings of 'generaly' and 'rarely'
Paulo A. S. Veloso (Paulo Augusto Silva), 1944-
Rio de Janeiro PUC 2001
Localização:
IME - Inst. Matemática e Estatística
(S M751 2001 v.02 )(Acessar)
|
4
|
Material Type: Relatório Técnico
|
|
Characterizing the regular prefix codes
Paulo A. S. Veloso (Paulo Augusto Silva), 1944-
Rio de Janeiro Puc 1977
Localização:
IME - Inst. Matemática e Estatística
(S M751 1977 v.12 )(Acessar)
|
5
|
Material Type: Relatório Técnico
|
|
Introducao a especificacao e implementacao de tipos abstratos de dados
Francisco Edson P. Pessoa Paulo A. S Veloso (Paulo Augusto Silva), 1944-
Rio de Janeiro Puc 1983
Localização:
IME - Inst. Matemática e Estatística
(S M751 1983 v.20 )(Acessar)
|
6
|
Material Type: Relatório Técnico
|
|
A theory of abstract data types for program development bridging the gap?
Paulo A. S. Veloso (Paulo Augusto Silva), 1944- Thomas S. E Maibaum 1947-
Rio de Janeiro Puc 1983
Localização:
IME - Inst. Matemática e Estatística
(S M751 1983 v.15 )(Acessar)
|
7
|
Material Type: Relatório Técnico
|
|
On the hole of additivity and linearity in mathematical systems theory
Paulo A. S. Veloso (Paulo Augusto Silva), 1944-
Rio de Janeiro Puc 1983
Localização:
IME - Inst. Matemática e Estatística
(S M751 1983 v.16 )(Acessar)
|
8
|
Material Type: Relatório Técnico
|
|
Outlines of a mathematical theory of problems
Paulo A. S. Veloso (Paulo Augusto Silva), 1944-
Rio de Janeiro Puc 1982
Localização:
IME - Inst. Matemática e Estatística
(S M751 1982 v.14 )(Acessar)
|
9
|
Material Type: Relatório Técnico
|
|
Introducao a programacao com tipos abstratos de dados
Francisco Edson P. Pessoa Paulo A. S Veloso (Paulo Augusto Silva), 1944-
Rio de Janeiro Puc 1982
Localização:
IME - Inst. Matemática e Estatística
(S M751 1982 v.12 )(Acessar)
|
10
|
Material Type: Relatório Técnico
|
|
On the logic of namable models
Paulo A. S. Veloso (Paulo Augusto Silva), 1944-
Rio de Janeiro Puc 1983
Localização:
IME - Inst. Matemática e Estatística
(S M751 1983 v.14 )(Acessar)
|