Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Linguagens formais e autômatosPaulo Fernado Blauth MenezesPorto Alegre Sagra-Dcluzzato 1998Localização: ICMC - Inst. Ciên. Mat. Computação (68Q15.01 M543L.2 ) e outros locais(Acessar) |
2 |
Material Type: Tese (Outras)
|
![]() |
Caracterização de conjuntos racionais limitadosImre Simon 1943-2009São Paulo S.N. 1978Localização: ICMC - Inst. Ciên. Mat. Computação (T S594ca e.1 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Linguagens formais e autômatosPaulo Blauth MenezesPorto Alegre Sagra-Luzzato 2001Localização: ICMC - Inst. Ciên. Mat. Computação (C 68Q15.01 M543Lf.4 e.5 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Efficient Graph Rewriting and Its ImplementationHeiko DörrSpringer Berlin Heidelberg 1995Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Métodos formais para o desenvolvimento de programasPaulo Sergio C. de Alencar Carlos José Pereira de Lucena; Escola Brasileiro-Argentina de Informatica (4. 1989 Santiago Del Estero)Buenos Aires Kapelusz 1988Localização: EPBC - Esc. Politécnica-Bib Central (004.413 AL25m ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Introdução a gramáticas e linguagens versão 1.0Solange Oliveira RezendeSão Carlos ICMSC-USP 1993Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-848138 ) e outros locais(Acessar) |
7 |
Material Type: Relatório Técnico
|
![]() |
Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finitoK K Nakazato José Carlos Maldonado; S C P F Fabbri; Paulo Cesar MasieroSao Carlos Icmsc-Usp 1994Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-872265 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Algebraic Theory of AutomataAbraham Ginzburg Robert L AshenhurstAcademic Press 1968Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Livro
|
![]() |
Cellular AutomataE. F. Codd Robert L AshenhurstBurlington Academic Press 1968Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Livro
|
![]() |
Maquinas e linguagensPaulo A. S. VelosoSão Paulo IME-USP 1979Localização: ICMC - Inst. Ciên. Mat. Computação (68Q15.01 V443m e.4 )(Acessar) |