Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Bringing AGM to computer scienceRenata Wassermann Márcio Moretto RibeiroSouth American Journal of Logic Campinas v. 1, n. 2, p. 447-459, 2015Campinas 2015Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Artigo
|
![]() |
We are happy to organize this issue of the Electronic Notes in Theoretical Computer Science. [Prefácio]Gabriel Coutinho Yoshiharu Kohayakawa; Vinicius dos Santos; Sebastián Urrutia; Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS (10. 2019 Belo Horizonte, MG)Electronic Notes in Theoretical Computer Science Amsterdam v. 346, p.1-2, 2019Amsterdam 2019Localização: IME - Inst. Matemática e Estatística (PROD-3000163 )(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: Artigo de Congresso
|
![]() |
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 1992Localização: IME - Inst. Matemática e Estatística (PROD-834804 ) e outros locais(Acessar) |
5 |
Material Type: Artigo de Congresso
|
![]() |
Recognizable sets with multiplicities in the tropical semiringImre Simon 1943-2009 International Symposium on Mathematical Foundations of Computer Science - MFCS (13. 1988 Carlsbad, Czechoslovakia)Proceedings Berlin : Springer, 1988Berlin Springer 1988Localização: IME - Inst. Matemática e Estatística (PROD-781435 ) e outros locais(Acessar) |
6 |
Material Type: Artigo de Congresso
|
![]() |
Bayesian networks in software maintenance managementAna Cristina Vieira de Melo Adilson de Jesus Sanchez; Conference on Current Trends in Theory and Practice of Computer Science - SOFSEM (31. 2005 Liptovsky Ján)Proceedings Berlin : Springer, 2005Berlin Springer 2005Localização: IME - Inst. Matemática e Estatística (PROD-1473482 ) e outros locais(Acessar) |
7 |
Material Type: Artigo de Congresso
|
![]() |
Maximum series-parallel subgraphGruia Calinescu Cristina Gomes Fernandes 1966-; Hemanshu Kaul; International Workshop on Graph-Theoretic Concepts in Computer Science - WG (35. 2009 Montpellier)Proceedings Berlin : Springer, 2010Berlin Springer 2010Localização: IME - Inst. Matemática e Estatística (PROD-1831948 ) e outros locais(Acessar) |
8 |
Material Type: Artigo de Congresso
|
![]() |
Some approximation results for the maximum agreement forest problemEstela Maris Rodrigues Marie-France Sagot; Yoshiko Wakabayashi; International Workshop on Approximation Algorithms for Combinatorial Optimization Problems - APPROX 2001 (4. 2001 Berkeley); International Workshop on Randomization and Approximation Techniques in Computer Science - RANDOM 2001 (5. 2001 Berkeley)Proceedings Berlin: Springer, 2001Berlin Springer 2001Localização: IME - Inst. Matemática e Estatística (PROD-1241364 ) e outros locais(Acessar) |
9 |
Material Type: Artigo de Congresso
|
![]() |
A systematic approach to bound factor revealing LPs and its application to the metric and squared metric facility location problemsCristina Gomes Fernandes 1966- Luis A. A Meira; Flavio Keidi Miyazawa; Lehilton L. C Pedrosa; International Workshop on Approximation Algorithms for Combinatorial Optimization - APPROX (15. 2012 Cambridge, MA); International Workshop on Randomization and Approximation Techniques in Computer Science - RANDOM (16. 2012 Cambridge, MA)Proceedings Berlin : Springer, 2012Berlin Springer 2012Localização: IME - Inst. Matemática e Estatística (PROD-2306003 ) e outros locais(Acessar) |
10 |
Material Type: Artigo de Congresso
|
![]() |
Near-optimum universal graphs for graphs with bounded degreesNoga Alon Michael Capalbo; Yoshiko Wakabayashi; Vojtech Rodl; Andrzej Rucinski; Endre Szemerédi; International Workshop on Approximation Algorithms for Combinatorial Optimization Problems - APPROX 2001 (4. 2001 Berkeley); International Workshop on Randomization and Approximation Techniques in Computer Science - RANDOM 2001 (5. 2001 Berkeley)Proceedings Berlin: Springer, 2001Berlin Springer 2001Localização: IME - Inst. Matemática e Estatística (PROD-1241370 ) e outros locais(Acessar) |