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
Linguagens formais e autômatos
Material Type:
Livro
Adicionar ao Meu Espaço

Linguagens formais e autômatos

Paulo Fernado Blauth Menezes

Porto Alegre Sagra-Dcluzzato 1998

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

2
Linguagens formais e autômatos
Material Type:
Livro
Adicionar ao Meu Espaço

Linguagens formais e autômatos

Paulo Blauth Menezes

Porto Alegre Sagra-Luzzato 2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (C 68Q15.01 M543Lf.4 e.5 ) e outros locais(Acessar)

3
Material Type:
Tese (Outras)
Adicionar ao Meu Espaço

Caracterizacao de conjuntos racionais limitados

Imre Simon 1943-

São Paulo S.N. 1978

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

4
Efficient Graph Rewriting and Its Implementation
Efficient Graph Rewriting and Its Implementation
Material Type:
Livro
Adicionar ao Meu Espaço

Efficient Graph Rewriting and Its Implementation

Heiko Dörr

Springer Berlin Heidelberg 1995

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

5
Handbook of Formal Languages
Handbook of Formal Languages
Material Type:
Livro
Adicionar ao Meu Espaço

Handbook of Formal Languages

Grzegorz Rozenberg Arto Salomaa

Springer Berlin Heidelberg 1997

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

6
Material Type:
Livro
Adicionar ao Meu Espaço

Cellular automata

E. F. Codd

New York Academic Press 1968

Localização: CENA - Cent. En. Nuclear na Agricultura    (681.3.01 C669c 0096 ) e outros locais(Acessar)

7
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic theory of automata

Abraham Ginzburg

New York Academic Press 1968

Localização: CENA - Cent. En. Nuclear na Agricultura    (681.3.01 G493a 0095 ) e outros locais(Acessar)

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

Propriedades de máquinas de estado finito relevantes para critérios de geração e seqüencias de teste

Karen Komi Nakazato José Carlos Maldonado; Sandra C. P. F Fabbri; Paulo Cesar Masiero

São Carlos ICMSC/USP 1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (RT SCE N.27 N163p e.1 ) e outros locais(Acessar)

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

Aspectos teóricos e de implementação de critérios de geração de seqüencias de teste baseados em máquinas de estado finito

Karen Kiomi Nakazato José Carlos Maldonado; Sandra C. P. F Fabbri; Paulo Cesar Masiero

São Carlos ICMSC/USP 1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (RT SCE N.25 N163a e.1 ) e outros locais(Acessar)

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

Categorical grammar and harmonic analysis

Flávio Soares Corrêa da Silva Fábio Kon 1969-

São Paulo IME-USP 1995

Localização: IME - Inst. Matemática e Estatística    (QA700.RT I59c 1995 v.05 e.2 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (44)
  2. Disponível na Biblioteca (338)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (298)
  2. Produções Acadêmicas  (31)
  3. Dissertações  (28)
  4. Artigos  (15)
  5. Produções Técnicas  (13)
  6. Recursos Textuais  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1970  (41)
  2. 1970Até1980  (75)
  3. 1981Até1991  (68)
  4. 1992Até2003  (132)
  5. Após 2003  (70)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.