Uma introdução à computação paralela e distribuída /

por Amorim, Claudio Luis de.
Publicado 1988

Máquinas, programas e algoritmos /

por Carvalho, Roberto Lins de.
Publicado 1981

Análise e síntese de programas : uma introdução /

por Lucena, Carlos J. P. de.
Publicado 1981

Introdução à arquitetura de microcomputadores /

por Machado, Nelson Castro, 1941-
Publicado 1981

Desenvolvimento sistemático de programas corretos : a abordagem denotacional /

por Martins, Raul César Baptista.
Publicado 1988

Introdução à programação funcional /

por Meira, Silvio Romero de Lemos.
Publicado 1988

Bancos de dados não convencionais : a tecnologia do BD e suas novas áreas de aplicação /

por Melo, Rubens Nascimento.
Publicado 1988

Métodos de validação de sistemas digitais /

Publicado 1988

A construção de um compilador /

por Setzer, Valdemar W.
Publicado 1981

Linguagens formais e autômatos /

por Simon, Imre, 1943-
Publicado 1981

Algoritmos para igualdades minimax em grafos /

por Feofiloff, Paulo.
Publicado 1988