skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 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
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)

4
First-order dynamic logic
First-order dynamic logic
Material Type:
Livro 		Adicionar ao Meu Espaço

First-order dynamic logic

David Harel 1950-

Berlin New York Springer-Verlag 1979

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

5
Theory of program structures schemes, semantics, verification
Theory of program structures schemes, semantics, verification
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory of program structures schemes, semantics, verification

Sheila Greibach 1939-

Berlin New York Springer-Verlag 1975

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

6
Temporal logic of programs
Temporal logic of programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Temporal logic of programs

Fred Kröger 1945-

Berlin Springer-Verlag New York c1987

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

7
Computer arithmetic
Computer arithmetic
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer arithmetic

Earl E Swartzlander Jr.

Los Alamitos, CA IEEE Computer Society Press c1990-

Localização: IME - Inst. Matemática e Estatística    (QA824.C3 S973c v.2 )(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
Proceedings of the fifteenth annual ACM Symposium on Theory of Computing Boston, Massachusetts, April 25-27, 1983
Proceedings of the fifteenth annual ACM Symposium on Theory of Computing Boston, Massachusetts, April 25-27, 1983
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the fifteenth annual ACM Symposium on Theory of Computing Boston, Massachusetts, April 25-27, 1983

ACM Symposium on Theory of Computing (15th 1983 Boston, Mass) ACM Special Interest Group for Automata and Computability Theory; Symposium on Theory of Computing (15 . 1983 Boston)

New York Association for Computing Machinery c1983

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

10
Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing Washington, D.C., April 30-May 2, 1984
Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing Washington, D.C., April 30-May 2, 1984
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing Washington, D.C., April 30-May 2, 1984

ACM Symposium on Theory of Computing (16th 1984 Washington, D.C.) Association for Computing Machinery; ACM Special Interest Group for Automata and Computability Theory; Symposium on Theory of Computing (16 . 1984 Washington)

New York Association for Computing Machinery c1984

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

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar
  1. Antes de1977  (4)
  2. 1977Até1979  (6)
  3. 1980Até1982  (3)
  4. 1983Até1986  (9)
  5. Após 1986  (4)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.