1
|
Material Type: Relatório Técnico
|
|
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)
|
2
|
Material Type: Relatório Técnico
|
|
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)
|
3
|
Material Type: Artigo de Congresso
|
|
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)
|
4
|
Material Type: Livro
|
|
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)
|
5
|
Material Type: Relatório Técnico
|
|
Sobre a ordem de convergencia para as equacoes integrais de volterra de segunda especie tipo abel com solucoes nao suaves
L S G Felipe Neide Maria Bertoldi Franco
Sao Carlos Icmsc-Usp 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(NOTAS SCE N.14 F313s ) e outros locais(Acessar)
|
6
|
Material Type: Artigo de Congresso
|
|
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)
|
7
|
Material Type: Relatório Técnico
|
|
Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto
César Alberto Bravo Pariente João José Neto 1948-
São Paulo EPUSP 2005
Item não circula. Consulte sua biblioteca.(Acessar)
|
8
|
Material Type: Relatório Técnico
|
|
The nondeterministic complexity of a finite automaton
Imre Simon 1943-2009
Sao Paulo IME-USP 1987
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-MA QA700.RT I59 1987 v.3 e.2 ) e outros locais(Acessar)
|
9
|
Material Type: Livro
|
|
Programação orientada para objeto em c++ no ambiente Windows
A F Granero José de Oliveira Siqueira
São Paulo Atlas 1995
Item não circula. Consulte sua biblioteca.(Acessar)
|
10
|
Material Type: Relatório Técnico
|
|
A short proof of the factorization forest theorem
Imre Simon 1943-2009
Sao Paulo IME-USP 1991
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1991 v.7 e.1 ) e outros locais(Acessar)
|