skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: idioma: Inglês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Revista
Adicionar ao Meu Espaço

Journal of Logic and Computation

ENGLAND OUP

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

2
Material Type:
Revista
Adicionar ao Meu Espaço

Journal of Complexity

UNITED STATES Academic Press

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

3
Material Type:
Revista
Adicionar ao Meu Espaço

Journal of Cryptology

UNITED STATES Hybrid

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

4
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Arguments in favor of a controlled plurality of office formating standards

Flávio Soares Corrêa da Silva

São Paulo IME-USP 2007

Localização: IME - Inst. Matemática e Estatística    (RT-MAC 2007 v.7 ) e outros locais(Acessar)

5
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

A hierarchy for the recognizable M-subsets

Nami Kobayashi

São Paulo IME-USP 1997

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1997 v.15 e.1 ) e outros locais(Acessar)

6
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Sequence comparison some theory and some practice

Imre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1987 Saint-Pierre d'Oléron)

Proceedings Berlin : Springer, 1989

Berlin Springer 1989

Localização: IME - Inst. Matemática e Estatística    (S L471c v.377 ) e outros locais(Acessar)

7
Material Type:
Livro
Adicionar ao Meu Espaço

Short proof of the factorization forest theorem

Imre Simon 1943-2009

Nivat, M; Podelski, A, Eds Amsterdam : Elsevier Science, 1992 Tree Automata and Languages

Amsterdam Elsevier Science 1992

Localização: IME - Inst. Matemática e Estatística    (PROD-834805 ) e outros locais(Acessar)

8
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Compression and entropy

Georges Hansel Dominique Perrin; Imre Simon 1943-2009; Annual Symposium on Theoretical Aspects of Computer Science - STACS (9. 1992 Cachan, France)

Proceedings Berlin : Springer, 1992

Berlin Springer 1992

Localização: IME - Inst. Matemática e Estatística    (PROD-834804 ) e outros locais(Acessar)

9
Recent Developments in Switching Theory
Recent Developments in Switching Theory
Material Type:
Livro
Adicionar ao Meu Espaço

Recent Developments in Switching Theory

Amar Mukhopadhyay

Academic Press 1971

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

10
Clausal Theory of Types
Clausal Theory of Types
Material Type:
Livro
Adicionar ao Meu Espaço

Clausal Theory of Types

D. A. Wolfram

Cambridge Cambridge University Press 1993

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (936)
  2. Artigos  (69)
  3. Revistas  (10)
  4. Produções Acadêmicas  (8)
  5. Anais de Congresso  (7)
  6. Produções Técnicas  (5)
  7. Recursos Textuais  (1)
  8. Audiovisuais  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1973  (61)
  2. 1973Até1985  (193)
  3. 1986Até1998  (399)
  4. 1999Até2012  (376)
  5. Após 2012  (58)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.