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 4 5 next page
Refinado por: assunto: Teoria Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A theory of programming language semantics
A theory of programming language semantics
Material Type:
Livro 		Adicionar ao Meu Espaço

A theory of programming language semantics

Robert Milne 1948- Christopher Strachey

London Chapman and Hall etc. 1976

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

2
Mathematics and computers
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics and computers

George R. Stibitz 1904- (George Robert) Jules A Larrivee 1909- (Jules Alphonse)

New York McGraw-Hill 1957

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária    (510.78 S854m ) e outros locais(Acessar)

3
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.

4
Computing for Calculus
Computing for Calculus
Computing for Calculus
Material Type:
Livro 		Adicionar ao Meu Espaço

Computing for Calculus

Mark J. Christensen

Academic Press 1981

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

5
Conference record [of the] fourth annual ACM Symposium on Theory of Computing papers presented at the symposium, Denver, Colorado, May 1,2,3, 1972
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference record [of the] fourth annual ACM Symposium on Theory of Computing papers presented at the symposium, Denver, Colorado, May 1,2,3, 1972

ACM Symposium on Theory of Computing (4th 1972 Denver, Colo.) ACM Special Interest Group for Automata and Computability Theory

New York ACM Order Department 1972

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

6
20th annual Symposium on Foundations of Computer Science Oct. 29-31, 1979, San Juan Puerto Rico
Material Type:
Livro 		Adicionar ao Meu Espaço

20th annual Symposium on Foundations of Computer Science Oct. 29-31, 1979, San Juan Puerto Rico

Symposium on Foundations of Computer Science (20th 1979 San Juan, Puerto Rico) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; University of Puerto Rico; Institute of Electrical and Electronics Engineers

New York Institute of Electrical and Electronics Engineers 1979

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

7
22nd annual Symposium on Foundations of Computer Science (formerly called the annual Symposium on Switching and Automata Theory) : October 28-30, 1981
Material Type:
Livro 		Adicionar ao Meu Espaço

22nd annual Symposium on Foundations of Computer Science (formerly called the annual Symposium on Switching and Automata Theory) : October 28-30, 1981

Symposium on Foundations of Computer Science (22nd 1981 Nashville, Tenn.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; Institute of Electrical and Electronics Engineers

New York Institute of Electrical and Electronics Engineers 1981

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

8
31th Annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987
31th Annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987
Material Type:
Livro 		Adicionar ao Meu Espaço

31th Annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987

Symposium on Foundations of Computer Science (31th 1990 St. Louis, Missori) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Washington, D.C. Computer Society Press of the IEEE c1990

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

9
28th Annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987
28th Annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987
Material Type:
Livro 		Adicionar ao Meu Espaço

28th Annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987

Symposium on Foundations of Computer Science (28th 1987 Los Angeles, Calif.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Washington, D.C. Computer Society Press of the IEEE c1987

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

10
practical introduction to denotational semantics
practical introduction to denotational semantics
practical introduction to denotational semantics
Material Type:
Livro 		Adicionar ao Meu Espaço

practical introduction to denotational semantics

L. Allison

Cambridge University Press 1986

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1975  (29)
  2. 1975Até1982  (31)
  3. 1983Até1990  (30)
  4. 1991Até2001  (41)
  5. Após 2001  (41)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (158)
  2. Alemão  (3)
  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.