skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livro
Adicionar ao Meu Espaço

Logic and algorithms with applications to the computer and information sciences

Robert R. Korfhage

New York Wiley 1966

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

2
Material Type:
Livro
Adicionar ao Meu Espaço

Digital computer programming logic and language

Charles M. Thatcher 1922- (Charles Manson) Anthony J Capato

Reading, Mass. Addison-Wesley Pub. Co 1967

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

3
Material Type:
Livro
Adicionar ao Meu Espaço

Digital logic and computer operations

Robert C. Baron Albert T Piccirilli

New York McGraw-Hill 1967

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

4
Recursive function theory and logic
Material Type:
Livro
Adicionar ao Meu Espaço

Recursive function theory and logic

Ann Yasuhara

New York Academic Press 1971

Localização: IME - Inst. Matemática e Estatística    (QA10.3 Y29r )(Acessar)

5
An introduction to logical design of digital circuits
Material Type:
Livro
Adicionar ao Meu Espaço

An introduction to logical design of digital circuits

Colin Morrison Reeves

Cambridge Eng. University Press 1972

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

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

7
Finite automata, formal logic, and circuit complexity
Material Type:
Livro
Adicionar ao Meu Espaço

Finite automata, formal logic, and circuit complexity

Howard Straubing

Boston Birkhauser 1974

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

8
Error coding for arithmetic processors
Material Type:
Livro
Adicionar ao Meu Espaço

Error coding for arithmetic processors

Thammavarapu R. N. Rao 1933-

New York Academic Press 1974

Localização: IME - Inst. Matemática e Estatística    (QA381.3 R215e )(Acessar)

9
Logical design of digital systems
Material Type:
Livro
Adicionar ao Meu Espaço

Logical design of digital systems

Arthur D. Friedman

Woodland Hills, Calif. Computer Science Press 1975

Localização: ICMC - Inst. Ciên. Mat. Computação    (68M05.20 F911l e.1 )(Acessar)

10
Material Type:
Livro
Adicionar ao Meu Espaço

Computer science and multiple-valued logic theory and applications

David C. Rine 1941-

Amsterdam Horth-Holland 1977

Localização: IME - Inst. Matemática e Estatística    (QA9.88.C3 R579c )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (535)
  2. Recursos Online (76)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (502)
  2. Artigos  (35)
  3. Produções Acadêmicas  (5)
  4. Produções Técnicas  (3)
  5. Revistas  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1980  (15)
  2. 1980Até1989  (64)
  3. 1990Até1999  (228)
  4. 2000Até2010  (214)
  5. Após 2010  (26)
  6. Mais opções open sub menu

Idioma 

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

Buscando em bases de dados remotas. Favor aguardar.