skip to main content
Idioma:
Resultados 1 2 3 4 5 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
Anatomy of a compiler
Anatomy of a compiler
Material Type:
Livro 		Adicionar ao Meu Espaço

Anatomy of a compiler

John A. N. Lee

New York Van Nostrand Reinhold 1967

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

2
A view of programming languages
Material Type:
Livro 		Adicionar ao Meu Espaço

A view of programming languages

Bernard A. Galler (Bernard Aaron) 1928- Alan J Perlis

Reading, Mass. Addison-Wesley Pub. Co 1970

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N15.01 G166v e.1 ) e outros locais(Acessar)

3
Computational problems in abstract algebra; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational problems in abstract algebra; proceedings

John Leech 1926-; Atlas Computer Laboratory

Oxford, New York Pergamon Press 1970

Localização: ICMC - Inst. Ciên. Mat. Computação    (65-06 C738 1967 e.1 ) e outros locais(Acessar)

4
Computer organization and the system/370
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer organization and the system/370

Harry Katzan

New York Van Nostrand Reinhold Co 1971

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

5
Computers in number theory proceedings of the Science Research Council Atlas Symposium no. 2 held at Oxford, from 18-23 August, 1969
Computers in number theory proceedings of the Science Research Council Atlas Symposium no. 2 held at Oxford, from 18-23 August, 1969
Material Type:
Livro 		Adicionar ao Meu Espaço

Computers in number theory proceedings of the Science Research Council Atlas Symposium no. 2 held at Oxford, from 18-23 August, 1969

Science Research Council Atlas Symposium (2nd 1969 Oxford) Arthur Oliver Lonsdale Atkin 1925-; Bryan John Birch; Science Research Council (Great Britain); Atlas Computer Laboratory

London New York Academic Press 1971

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

6
Conference record Papers presented at the Twelfth annual symposium, East Lansing, Mich., October 13-15, 1971
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference record Papers presented at the Twelfth annual symposium, East Lansing, Mich., October 13-15, 1971

Symposium on Switching and Automata Theory (12th 1971 East Lansing, Mich.) Institute of Electrical and Electronics Engineers Computer Group; Michigan State University

New York, Institute of Electrical and Electronics Engineers c1971

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

7
Compiler techniques
Compiler techniques
Material Type:
Livro 		Adicionar ao Meu Espaço

Compiler techniques

Bary W. Pollack

Princeton N.J. Auerbach Publishers 1972

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

8
Formal semantics of Programming languages
Formal semantics of Programming languages
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal semantics of Programming languages

Courant Computer Science Symposium (2nd 1970 New York) Randall Rustin

Englewood, Cliffs, N.J. Prentice-Hall 1972

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

9
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Material Type:
Livro 		Adicionar ao Meu Espaço

Symbolic Logic and Mechanical Theorem Proving

Chin-Liang Chang Richard Char-Tung Lee

Academic Press 1973

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

10
Discrete mathematical structures and their applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Discrete mathematical structures and their applications

Harold S. Stone 1938-

Chicago Science Research Associates 1973

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária  ACERVO DELFIM NETTO  (B18.19.4 ) e outros locais(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (20)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (471)
  2. Artigos  (9)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1978  (39)
  2. 1978Até1986  (59)
  3. 1987Até1995  (182)
  4. 1996Até2006  (184)
  5. Após 2006  (16)
  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.