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
Resultados 1 2 3 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livro
Adicionar ao Meu Espaço

Usando norton utilities 5.0

Alan C Elliott Ana Paula Machado Ribeiro

Rio de Janeiro Berkeley 1991

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

2
Logics of Programs
Material Type:
Livro
Adicionar ao Meu Espaço

Logics of Programs

Kozen

Springer Berlin Heidelberg 1982

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

3
Material Type:
Livro
Adicionar ao Meu Espaço

Análise e síntese de programas uma introducao

Carlos Jose Pereira de Lucena Escola de Computacao (2. 1981 Campinas)

Campinas Imecc 1981

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

4
Material Type:
Livro
Adicionar ao Meu Espaço

Padroes em programacao

G Longworth

Rio de Janeiro Campus 1985

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

5
The role of programming in teaching informatics proceedings of the IFIP TC3 Working Conference on Teaching Programming Paris, France, 7-9 may, 1984
Material Type:
Livro
Adicionar ao Meu Espaço

The role of programming in teaching informatics proceedings of the IFIP TC3 Working Conference on Teaching Programming Paris, France, 7-9 may, 1984

Working Conference on Teaching Programming (1984 Paris) E. D Tagg; M Griffiths

Amsterdam North-Holland 1985

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

6
PC Assembler usando DOS
Material Type:
Livro
Adicionar ao Meu Espaço

PC Assembler usando DOS

Daniel Gerk de Azevedo Quadros

Rio de Janeiro Campus c1988

Localização: EPBC - Esc. Politécnica-Bib Central    (004.38 Q22p )(Acessar)

7
Material Type:
Livro
Adicionar ao Meu Espaço

Logics of programs proceedings

Conference on the Logic of Programs (1985 : Brooklin) Rohit Parikh

Berlin Springer 1985

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.193 ex.1 ) e outros locais(Acessar)

8
Concepts, techniques, and models of computer programming
Material Type:
Livro
Adicionar ao Meu Espaço

Concepts, techniques, and models of computer programming

Peter Van-Roy Seif Haridi

Cambridge, Mass MIT Press 2004

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

9
Material Type:
Livro
Adicionar ao Meu Espaço

Princípios de programação em computadores

Paulo Martins Bordenaruk

São Paulo Érica c1992

Localização: EPBC - Esc. Politécnica-Bib Central    (004.421 B6441p )(Acessar)

10
Guia do Norton Utilities 6.0
Material Type:
Livro
Adicionar ao Meu Espaço

Guia do Norton Utilities 6.0

Peter Norton 1943- Ruth Ashley; Judi N Fernández 1941-

São Paulo Makron Books do Brasil c1993

Localização: EPBC - Esc. Politécnica-Bib Central    (004.4 N826pP )(Acessar)

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)
  2. Disponível na Biblioteca (22)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (21)
  2. Produções Acadêmicas  (1)
  3. Artigos  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1985  (4)
  2. 1985Até1990  (5)
  3. 1991Até1995  (3)
  4. 1996Até2006  (6)
  5. Após 2006  (5)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (12)
  2. Português  (11)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.