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
Some constructions on categories related to fork and projection algebras
Some constructions on categories related to fork and projection algebras
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Some constructions on categories related to fork and projection algebras

Paulo A. S. Veloso

Rio de Janeiro PUC 1998

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

2
Estruturação e verificação de programas com tipos de dados
Estruturação e verificação de programas com tipos de dados
Material Type:
Livro 		Adicionar ao Meu Espaço

Estruturação e verificação de programas com tipos de dados

Paulo A. S. Veloso

São Paulo Edgard Blucher 1987

Localização: IME - Inst. Matemática e Estatística    (QA758 V443v ) e outros locais(Acessar)

3
Programação sistemática em PASCAL
Programação sistemática em PASCAL
Material Type:
Livro 		Adicionar ao Meu Espaço

Programação sistemática em PASCAL

Niklaus Wirth Paulo A. S Veloso

Rio de Janeiro Campus 1985

Localização: IF - Instituto de Física    (001.6424 W799p 3.ed ) e outros locais(Acessar)

4
Gesto técnico: interferências da modelagem digital na criação arquitetônica
Gesto técnico: interferências da modelagem digital na criação arquitetônica
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Gesto técnico: interferências da modelagem digital na criação arquitetônica

Veloso, Pedro Luís Alves

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Arquitetura e Urbanismo 2011-05-16

Acesso online. A biblioteca também possui exemplares impressos.

5
Verificação e construção de programas
Verificação e construção de programas
Material Type:
Livro 		Adicionar ao Meu Espaço

Verificação e construção de programas

Paulo A. S. Veloso Escola Brasileiro-Argentina de Informática (1. 1986 Campinas)

Campinas Ed Unicamp 1986

Localização: IME - Inst. Matemática e Estatística    (QA754 V443v ) e outros locais(Acessar)

6
Programação sistemática em Pascal
Programação sistemática em Pascal
Material Type:
Livro 		Adicionar ao Meu Espaço

Programação sistemática em Pascal

Niklaus Wirth Paulo A. S Veloso

Rio de Janeiro Campus 1987

Localização: EPBC - Esc. Politécnica-Bib Central    (004.43 PASCAL W746sP6 ) e outros locais(Acessar)

7
Maquinas e linguagens
Maquinas e linguagens
Material Type:
Livro 		Adicionar ao Meu Espaço

Maquinas e linguagens

Paulo A. S. Veloso

São Paulo IME-USP 1979

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q15.01 V443m e.4 )(Acessar)

8
Estruturas de dados
Estruturas de dados
Material Type:
Livro 		Adicionar ao Meu Espaço

Estruturas de dados

Paulo A. S. Veloso

Rio de Janeiro Campus 1983

Localização: ICMC - Inst. Ciên. Mat. Computação    (68P05.01 V438e e.1 )(Acessar)

9
On simpler (equational) presentations for fork algebras and their relational reducts
On simpler (equational) presentations for fork algebras and their relational reducts
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

On simpler (equational) presentations for fork algebras and their relational reducts

Paulo A. S. Veloso

Rio de Janeiro PUC 1997

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

10
Computer science and logic fork algebras
Computer science and logic fork algebras
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Computer science and logic fork algebras

Paulo A. S. Veloso

Rio de Janeiro PUC 1997

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Autor/Criador 

  1. Veloso, P  (81)
  2. Veloso, M  (40)
  3. Rodrigues, L  (21)
  4. Veloso, L  (20)
  5. Veloso, C  (19)
  6. Doriguetto, A  (18)
  7. Ellena, J  (18)
  8. Veloso, V  (17)
  9. Brito, H  (15)
  10. Veloso, D  (15)
  11. Garcia, R  (13)
  12. Veloso, G  (13)
  13. Hölsa, J  (13)
  14. Almeida, P  (13)
  15. Veloso, W  (12)
  16. Veloso, A  (12)
  17. Carvalho, J  (12)
  18. Bellotti, G  (12)
  19. Pileggi, F  (11)
  20. Pardal, P  (11)
  21. Mais opções open sub menu

Idioma 

  1. Inglês  (3.447)
  2. Português  (359)
  3. Japonês  (88)
  4. Espanhol  (77)
  5. Norueguês  (45)
  6. Alemão  (4)
  7. Francês  (3)
  8. Indeterminado  (3)
  9. Polonês  (1)
  10. Russo  (1)
  11. Italiano  (1)
  12. Eslovaco  (1)
  13. Coreano  (1)
  14. Tcheco  (1)
  15. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.