Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24–28, 1998 ProceedingsBrim, Luboš ; Gruska, Jozef ; Zlatuška, Jiří Gruska, Jozef ; Brim, Luboš ; Zlatuška, JiříBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
2 |
Material Type: Relatório Técnico
|
![]() |
A hierarchy for the recognizable M-subsetsNami KobayashiSão Paulo IME-USP 1997Localizaçã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 practiceImre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1987 Saint-Pierre d'Oléron)Proceedings Berlin : Springer, 1989Berlin Springer 1989Localizaçã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 theoremImre Simon 1943-2009Nivat, M; Podelski, A, Eds Amsterdam : Elsevier Science, 1992 Tree Automata and LanguagesAmsterdam Elsevier Science 1992Localização: IME - Inst. Matemática e Estatística (PROD-834805 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
STACS 98: 15th Annual Symposium on Theoretical Aspects of Computer Science Paris, France, February 25–27, 1998 ProceedingsMorvan, Michel ; Meinel, Christoph ; Krob, Daniel Meinel, Christoph ; Krob, Daniel ; Morvan, MichelBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 12th International Symposium, AAECC-12 Toulouse, France, June 23–27, 1997 ProceedingsMora, Teo ; Mattson, Harold Mora, Teo ; Mattson, HaroldBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Foundations of Software Technology and Theoretical Computer Science: 17th Conference Kharagpur, India, December 18–20, 1997 ProceedingsRamesh, S ; Sivakumar, G Ramesh, S. ; Sivakumar, GBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 ProceedingsComon, Hubert Comon, HubertBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, ProceedingsHaeberer, Armando M Haeberer, Armando M.Berlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
DNA computing: new computing paradigmsPăun, Gheorghe ; Rozenberg, Grzegorz ; Salomaa, ArtoNew York: Springer 1998Texto completo disponível |