Estruturas de dados /

Por Veloso, Paulo Augusto Silva
Publicado em 1984

Máquinas e linguagens : uma introdução a teoria de automatos /

Por Veloso, Paulo Augusto Silva
Publicado em 1979

NOTAS SOBRE A ANALISE DE REDESPARALELAS MODULARES DE AUTOMATOSFINITOS.

Por Veloso, Paulo Augusto Silva
Publicado em S1976

Tipos (Abstratos) de dados : programação, especificação, implementação /

Por Veloso, Paulo Augusto Silva
Publicado em S1986

Estruturação e verificação de programas com tipos de dados / : Paulo A. S. Veloso.

Por Veloso, Paulo Augusto Silva
Publicado em c1987

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

Por Veloso, Paulo Augusto Silva
Publicado em 1987.

Programação sistemática em pascal /

Por Wirth, Niklaus, Veloso, Paulo Augusto Silva
Publicado em 1989

Programação sistemática /

Por Wirth, Niklaus, Veloso, Paulo Augusto Silva
Publicado em 1978.

DECOMPOSICAO ALGEBRICA DE SISTEMAS CAUSAIS ADITIVOS E MULTILINEARES.

Por Veloso, Paulo Augusto Silva, Kerschberg, Lawrence.
Publicado em S1970

Complexidade de algoritmos : análise, projeto e métodos /

Por Toscani, Laira Vieira., Veloso, Paulo Augusto Silva
Publicado em 2001

Tipos (Abstratos) de dados : programação, especificação, implementação /

Por Veloso, Paulo Augusto Silva, Escola de Computação
Publicado em 1986

ALGUMAS PROPRIEDADES DAS MAQUINAS SEM PERDA DE INFORMACAO.

Por VILELA M R., Veloso, Paulo Augusto Silva.
Publicado em S197

Complexidade de algoritmos /

Por Toscani, Laira Vieira., Veloso, Paulo Augusto Silva
Publicado em 2005

Verificação e construção de programas /

Por Veloso, Paulo Augusto Silva, Escola Brasileiro-Argentina de Informática
Publicado em 1986

Sobre esquemas de indução.

Por Viana, Jorge Petrúcio., Veloso, Sheila Regina Murgel., Veloso, Paulo Augusto Silva
Publicado em 1994.

Linguagem de descrição de rotinas : parte de controle /

Por Cunha, Carlos Flores., Veloso, Paulo Augusto Silva, Universidade Federal do Rio de Janeiro.
Publicado em 1979.

DESENVOLVIMENTO DE PROGRAMAS POR COMPOSICAO DE IMPLEMENTACOES UTILIZANDO LOGICA CLASSICA E LOGICA DEFAULT.

Por ARAGAO, MARCELO ANTONIO THOMAZ DE., Veloso, Paulo Augusto Silva., Veloso, Sheila Regina Murgel.
Publicado em S1993

Formalizacion del processo de desarrolo de software /

Por Haeberer, Armando Martin., Veloso, Paulo Augusto Silva, Baum, Gabriel., Escola Brasileiro-Argentina de Informática
Publicado em 1989

Máquinas, autômatos e linguagens de memória finita : algumas propriedades /

Por Drummond, Ana Cristina Costa., Veloso, Paulo Augusto Silva, Universidade Federal do Rio de Janeiro.
Publicado em 1979.

Estruturas de dados /

Por Veloso, Paulo Augusto Silva, Santos, Clésio Saraiva dos, Azeredo, Paulo Alberto de., Furtado, Antonio Luz
Publicado em 1986