skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Técnicas De Programação remover Metodologia E Técnicas De Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Structured system programming
Structured system programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Structured system programming

Jim Welsh 1943- R. M McKeag

Englewood Cliffs, N.J. Prentice/Hall International c1980

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

12
Termination Proofs for Logic Programs
Termination Proofs for Logic Programs
Termination Proofs for Logic Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Termination Proofs for Logic Programs

Lutz Plümer

Springer Berlin Heidelberg 1990

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

13
Functional programming languages and computer architecture proceedings
Functional programming languages and computer architecture proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional programming languages and computer architecture proceedings

Conference on Functional Programming Languages and Computer Architecture (3. 1987 Portland) Gilles Kahn

Berlin Springer 1987

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

14
EUROCAL '85 European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings
EUROCAL '85 European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

EUROCAL '85 European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings

European Conference on Computer Algebra (1985 Linz, Austria) Bruno Buchberger; Bob F Caviness; ed

Berlin Springer-Verlag New York c1985

Localização: EPBC - Esc. Politécnica-Bib Central    (512 Eu74e v.2 ) e outros locais(Acessar)

15
EUROCAL '87 European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings
EUROCAL '87 European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

EUROCAL '87 European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings

European Conference on Computer Algebra (1987 Leipzig, Germany) James Harold Davenport 1953-

Berlin New York Springer-Verlag c1989

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

16
Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 proceedings
Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 proceedings

International Conference on Logic Programming (3rd 1986 Imperial College of Science and Technology) Ehud Y Shapiro

Berlin Springer-Verlag New York c1986

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Lncs v.225 e.2 ) e outros locais(Acessar)

17
Axiomatising the logic of computer programming
Axiomatising the logic of computer programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Axiomatising the logic of computer programming

Robert Goldblatt

Berlin New York Springer-Verlag 1982

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

18
Parallel computing in science and engineering proceedings
Parallel computing in science and engineering proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Parallel computing in science and engineering proceedings

Seminar on Foundations of Engineering Sciences, 4., Bonn, 1987 Rudiger Dierstein

Berlin Springer 1988

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

19
The generic development language Deva presentation and case studies
The generic development language Deva presentation and case studies
Material Type:
Livro 		Adicionar ao Meu Espaço

The generic development language Deva presentation and case studies

Matthias Weber Martin Simons 1965-; Christine Lafontaine

Berlin New York Springer-Verlag c1993

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

20
Optimal interprocedural program optimization a new framework and its application
Optimal interprocedural program optimization a new framework and its application
Material Type:
Livro 		Adicionar ao Meu Espaço

Optimal interprocedural program optimization a new framework and its application

Jens Knoop

Berlin Springer New York c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1428 ) e outros locais(Acessar)

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (8)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (54)
  2. Audiovisuais  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1980  (3)
  2. 1980Até1984  (6)
  3. 1985Até1987  (15)
  4. 1988Até1991  (17)
  5. Após 1991  (14)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (54)
  2. Francês  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.