skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: ICMC - Inst. Ciên. Mat. Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Linguagens formais e autômatos
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
Caracterização de conjuntos racionais limitados
Caracterização de conjuntos racionais limitados
Material Type:
Tese (Outras) 		Adicionar ao Meu Espaço

Caracterização de conjuntos racionais limitados

Imre Simon 1943-2009

São Paulo S.N. 1978

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

3
Linguagens formais e autômatos
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)

4
Efficient Graph Rewriting and Its Implementation
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
Métodos formais para o desenvolvimento de programas
Métodos formais para o desenvolvimento de programas
Material Type:
Livro 		Adicionar ao Meu Espaço

Métodos formais para o desenvolvimento de programas

Paulo Sergio C. de Alencar Carlos José Pereira de Lucena; Escola Brasileiro-Argentina de Informatica (4. 1989 Santiago Del Estero)

Buenos Aires Kapelusz 1988

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

6
Introdução a gramáticas e linguagens versão 1.0
Introdução a gramáticas e linguagens versão 1.0
Material Type:
Livro 		Adicionar ao Meu Espaço

Introdução a gramáticas e linguagens versão 1.0

Solange Oliveira Rezende

São Carlos ICMSC-USP 1993

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

7
Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito
Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito

K K Nakazato José Carlos Maldonado; S C P F Fabbri; Paulo Cesar Masiero

Sao Carlos Icmsc-Usp 1994

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

8
Algebraic Theory of Automata
Algebraic Theory of Automata
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic Theory of Automata

Abraham Ginzburg Robert L Ashenhurst

Academic Press 1968

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

9
Cellular Automata
Cellular Automata
Material Type:
Livro 		Adicionar ao Meu Espaço

Cellular Automata

E. F. Codd Robert L Ashenhurst

Burlington Academic Press 1968

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

10
Maquinas e linguagens
Maquinas e linguagens
Material Type:
Livro 		Adicionar ao Meu Espaço

Maquinas e linguagens

Paulo A. S. Veloso

São Paulo IME-USP 1979

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q15.01 V443m e.4 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (15)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1973  (15)
  2. 1973Até1982  (32)
  3. 1983Até1993  (42)
  4. 1994Até2004  (79)
  5. Após 2004  (21)
  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.