skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: assunto: Teoria Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The Evolution of Programs
The Evolution of Programs
The Evolution of Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

The Evolution of Programs

Dershowitz E Coffman; R. L Graham

Birkhäuser Boston 1983

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

2
First-order programming theories
First-order programming theories
Material Type:
Livro 		Adicionar ao Meu Espaço

First-order programming theories

T. Gergely (Tamás) László Úry 1953-

Berlin Springer-Verlag New York c1991

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

3
Traite des ordinateurs
Material Type:
Livro 		Adicionar ao Meu Espaço

Traite des ordinateurs

A. Petitclerc (Andre)

Paris Dunod c1970

Localização: IME - Inst. Matemática e Estatística    (QA802 P489t v.1 )(Acessar)

4
Graded problems in computer science
Graded problems in computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Graded problems in computer science

Andrew D. McGettrick 1944- Peter D Smith 1950- (Peter Desmond)

London Reading, Mass. Addison-Wesley c1983

Localização: IME - Inst. Matemática e Estatística    (QA824.2 M145g )(Acessar)

5
Conference record of the thirteenth annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Trade Winds Hotel, St. Petersburg Beach, Florida, 13-15 January 1986
Conference record of the thirteenth annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Trade Winds Hotel, St. Petersburg Beach, Florida, 13-15 January 1986
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference record of the thirteenth annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Trade Winds Hotel, St. Petersburg Beach, Florida, 13-15 January 1986

ACM Symposium on Principles of Programming Languages (13th 1986 St. Petersburg Beach, Fla.) ACM Special Interest Group for Automata and Computability Theory; ACM Special Interest Group in Programming Languages

New York ACM 1986

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989c 13 )(Acessar)

6
Conference record of the eleventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Salt Lake City, Utah, January 15-18, 1984
Conference record of the eleventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Salt Lake City, Utah, January 15-18, 1984
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference record of the eleventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Salt Lake City, Utah, January 15-18, 1984

ACM Symposium on Principles of Programming Languages (11th 1984 Salt Lake City, Utah) ACM Special Interest Group on Automa and Computability Theory; ACM Special Interest Group in Programming Languages; Association for Computing Machinery

New York ACM c1983 [i.e. 1984

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989c 11. )(Acessar)

7
Conference record of the twelfth annual ACM Symposium on Principles of Programming Languages extended abstracts of papers presented at the symposium, Monteleone Hotel, New Orleans, Louisiana, 14-16, January 1985
Conference record of the twelfth annual ACM Symposium on Principles of Programming Languages extended abstracts of papers presented at the symposium, Monteleone Hotel, New Orleans, Louisiana, 14-16, January 1985
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference record of the twelfth annual ACM Symposium on Principles of Programming Languages extended abstracts of papers presented at the symposium, Monteleone Hotel, New Orleans, Louisiana, 14-16, January 1985

ACM Symposium on Principles of Programming Languages (12th 1985 New Orleans, La.) ACM Special Interest Group for Automata and Computability Theory; ACM Special Interest Group in Programming Languages

New York ACM 1985

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989c 12. )(Acessar)

8
24th Annual Symposium on Foundations of Computer Science November 7-9, 1983
24th Annual Symposium on Foundations of Computer Science November 7-9, 1983
Material Type:
Livro 		Adicionar ao Meu Espaço

24th Annual Symposium on Foundations of Computer Science November 7-9, 1983

Symposium on Foundations of Computer Science (24th 1983 Tucson, Ariz.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Silver Spring, Md. IEEE Computer Society Press c1983

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989 24 )(Acessar)

9
3. [i.e. dritte] Jahrestagung Hamburg, 8.-10. Oktober 1973
3. [i.e. dritte] Jahrestagung Hamburg, 8.-10. Oktober 1973
Material Type:
Livro 		Adicionar ao Meu Espaço

3. [i.e. dritte] Jahrestagung Hamburg, 8.-10. Oktober 1973

Gesellschaft für Informatik Wilfried Brauer; Gesellschaft für Informatik

Berlin New York Springer-Verlag 1973

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

10
18th Annual Symposium on Foundations of Computer Science, Oct. 31-Nov. 2, 1977, Providence, Rhode Island
Material Type:
Livro 		Adicionar ao Meu Espaço

18th Annual Symposium on Foundations of Computer Science, Oct. 31-Nov. 2, 1977, Providence, Rhode Island

Symposium on Foundations of Computer Science (18th 1977 Providence) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; ACM Special Interest Group for Automata and Computability Theory; Brown University

Long Beach, Calif. The Society c1977

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989 18. )(Acessar)

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar
  1. Antes de1975  (6)
  2. 1975Até1978  (8)
  3. 1979Até1982  (5)
  4. 1983Até1987  (11)
  5. Após 1987  (5)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (32)
  2. Alemão  (2)
  3. Português  (1)
  4. Francês  (1)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.