Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Informe Técnico
|
Arguments in favor of a controlled plurality of office formating standardsFlávio Soares Corrêa da SilvaSão Paulo IME-USP 2007Disponible en IME - Inst. Matemática e Estatística (RT-MAC 2007 v.7 ) y otras localizaciones(Obténgalo) |
|
2 |
Material Type: Informe Técnico
|
A hierarchy for the recognizable M-subsetsNami KobayashiSão Paulo IME-USP 1997Disponible en IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1997 v.15 e.1 ) y otras localizaciones(Obténgalo) |
|
3 |
Material Type: Artículo de Congreso
|
Sequence comparison some theory and some practiceImre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1987 Saint-Pierre d'Oléron)Proceedings Berlin : Springer, 1989Berlin Springer 1989Disponible en IME - Inst. Matemática e Estatística (S L471c v.377 ) y otras localizaciones(Obténgalo) |
|
4 |
Material Type: Libro
|
Short proof of the factorization forest theoremImre Simon 1943-2009Nivat, M; Podelski, A, Eds Amsterdam : Elsevier Science, 1992 Tree Automata and LanguagesAmsterdam Elsevier Science 1992Disponible en IME - Inst. Matemática e Estatística (PROD-834805 ) y otras localizaciones(Obténgalo) |
|
5 |
Material Type: Libro
|
Teoria da computação máquinas universais e computabilidadeTiarajú Asmuz Diverio Paulo Blauth MenezesPorto Alegre, RS Sagra-Luzzato c1999Disponible en ICMC - Inst. Ciên. Mat. Computação (68Q01 D618t e.3 ) y otras localizaciones(Obténgalo) |
|
6 |
Material Type: Revista
|
Journal of Logic and ComputationENGLAND OUPAcceso en línea. La biblioteca tiene también copias físicas. |
|
7 |
Material Type: Revista
|
Journal of ComplexityUNITED STATES Academic PressAcceso en línea. La biblioteca tiene también copias físicas. |
|
8 |
Material Type: Revista
|
Journal of CryptologyUNITED STATES HybridAcceso en línea. La biblioteca tiene también copias físicas. |
|
9 |
Material Type: Artículo de Congreso
|
Compression and entropyGeorges Hansel Dominique Perrin; Imre Simon 1943-2009; Annual Symposium on Theoretical Aspects of Computer Science - STACS (9. 1992 Cachan, France)Proceedings Berlin : Springer, 1992Berlin Springer 1992Disponible en IME - Inst. Matemática e Estatística (PROD-834804 ) y otras localizaciones(Obténgalo) |
|
10 |
Material Type: Informe Técnico
|
Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contextoCésar Alberto Bravo Pariente João José Neto 1948-São Paulo EPUSP 2005Comprobar fondos(Obténgalo) |