Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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) |
|
2 |
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) |
|
3 |
Material Type: Livro
|
Efficient Graph Rewriting and Its ImplementationHeiko DörrSpringer Berlin Heidelberg 1995Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
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) |
|
5 |
Material Type: Artigo de Congresso
|
Generalized rational relations and their logical definabilityChristian Choffrut Leucio de Azevedo Guerra; International Symposium on Fundamentals of Computation Theory (FCT97) (11. 1997 Krakow)proceedings Berlin : Springer, 1997Krakow Springer 1997Item não circula. Consulte sua biblioteca.(Acessar) |
|
6 |
Material Type: Relatório Técnico
|
Set operations on closed intervals and their applications to the automatic programming of mmach'sJúnior Barrera G P Salas; R F HashimotoSao Paulo IME-USP 1995Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1995 v.18 e.1 ) e outros locais(Acessar) |
|
7 |
Material Type: Relatório Técnico
|
Introdução às gramáticas adaptativasMargarete Keiko Iwai João José Neto 1948-São Paulo EPUSP 2001Item não circula. Consulte sua biblioteca.(Acessar) |
|
8 |
Material Type: Livro
|
Nondeterministic complexity of a finite automationImre Simon 1943-2009Lothaire, M, Ed Paris : Hermes, 1990 Mots: Melanges Offerts a M P SchutzenbergerParis Hermes 1990Item não circula. Consulte sua biblioteca.(Acessar) |
|
9 |
Material Type: Relatório Técnico
|
Reasoning with local and global inconsistenciesFlávio Soares Corrêa da SilvaSão Paulo IME-USP 1995Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1995 v.09 e.1 ) e outros locais(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
Adaptive automata for independent autonomous navigation in unknown environmentJorge Rady de Almeida Junior 1959- João José Neto 1948-; André Riyuiti Hirakawa 1965-2020; Iasted International Conference-Applied Simulation and Modelling (2000 Banff)Proceedings Ananheim : IASTED, 2000Ananheim IASTED 2000Item não circula. Consulte sua biblioteca.(Acessar) |