1
|
Material Type: Relatório Técnico
|
|
Introdução às gramáticas adaptativas
Margarete Keiko Iwai João José Neto 1948-
São Paulo EPUSP 2001
Item não circula. Consulte sua biblioteca.(Acessar)
|
2
|
Material Type: Relatório Técnico
|
|
Reasoning with local and global inconsistencies
Flávio Soares Corrêa da Silva
São Paulo IME-USP 1995
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1995 v.09 e.1 ) e outros locais(Acessar)
|
3
|
Material Type: Relatório Técnico
|
|
The closure under division and a characterization of the recognizable z-subsets
Nami Kobayashi
São Paulo IME-USP 1994
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1994 v.15 e.1 ) e outros locais(Acessar)
|
4
|
Material Type: Relatório Técnico
|
|
String matching algorithms and automata
Imre Simon 1943-2009
São Paulo IME-USP 1994
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1994 v.9 e.1 ) e outros locais(Acessar)
|
5
|
Material Type: Relatório Técnico
|
|
Set operations on closed intervals and their applications to the automatic programming of mmach's
Júnior Barrera Guillenno Pablo Salas; Ronaldo Fumio Hashimoto
Sao Paulo IME-USP 1995
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1995 v.18 e.1 ) e outros locais(Acessar)
|
6
|
Material Type: Relatório Técnico
|
|
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
(IME-RT-C QA700.RT I59c 1995 v.05 e.1 ) e outros locais(Acessar)
|
7
|
Material Type: Relatório Técnico
|
|
Recognizable sets with the tropical semiring
Imre Simon 1943-2009
Sao Paulo IME-USP 1988
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1988 v.5 e.1 ) e outros locais(Acessar)
|
8
|
Material Type: Relatório Técnico
|
|
Development of an atomic-Broadcast protocol using LOTOS
Perry Roland James Markus Endler; Marie-Claude Gaudel
São Paulo IME-USP 1997
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1997 v.13 e.1 ) e outros locais(Acessar)
|
9
|
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)
|
10
|
Material Type: Relatório Técnico
|
|
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)
|