Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
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) |
|
12 |
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) |
|
13 |
Material Type: Artigo de Congresso
|
Belief revision and computer scienceRenata Wassermann European Conference on Artificial Intelligence - ECAI (20. 2012 Montpellier, France); Workshop on Belief change, Non-monotonic reasoning and Conflict Resolution (2012 Montpellier, France)Workshop notes Grimstad : Centre for Artificial Intelligence Research (CAIR), 2012Grimstad Centre for Artificial Intelligence Research CAIR 2012Acesso online. A biblioteca também possui exemplares impressos. |
|
14 |
Material Type: Artigo de Congresso
|
Properties of factorization forestsImre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1988 Ramatuelle, France)Proceedings Berlin : Springer, 1989Berlin Springer 1989Localização: IME - Inst. Matemática e Estatística (S L471c v.386 ) e outros locais(Acessar) |
|
15 |
Material Type: Outros
|
Electronic Notes in Theoretical Computer ScienceGabriel Coutinho Yoshiharu Kohayakawa; Vinicius dos Santos; Sebastião Urrutiav. 346, p. 1-758, 2020Amsterdam Elsevier 2020Acesso online. A biblioteca também possui exemplares impressos. |
|
16 |
Material Type: Outros
|
Electronic Notes in Theoretical Computer ScienceMaribel Fernández Marcelo FingerAmsterdam Elsevier 2014Acesso online. A biblioteca também possui exemplares impressos. |
|
17 |
Material Type: Artigo de Congresso
|
String matching algorithms and automataImre Simon 1943-2009 Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa Graz (1994 Graz, Austria)Proceedings Berlin: Springer, 1994Berlin Springer 1994Localização: IME - Inst. Matemática e Estatística (PROD-2968564 )(Acessar) |
|
18 |
Material Type: Artigo de Congresso
|
Covering a graph with nontrivial vertex-disjoint paths existence and optimizationRenzo Gómez Yoshiko Wakabayashi; International Workshop on Graph-Theoretic Concepts in Computer Science - WG (44. 2018 Cottbus, Germany)Proceedings Cham: Springer, 2018Cham Springer 2018Localização: IME - Inst. Matemática e Estatística (PROD-2912608 )(Acessar) |
|
19 |
Material Type: Artigo de Congresso
|
The UPS problemCristina Gomes Fernandes 1966- Till Nierho; Annual Symposium on Theoretical Aspects of Computer Science - STACS (18. 2001 Dresden, Germany)Proceedings Berlin : Springer, 2001Berlin Springer 2001Localização: IME - Inst. Matemática e Estatística (PROD-3033948 )(Acessar) |
|
20 |
Material Type: Artigo
|
A perspective on theoretical computer science in Latin AmericaMarcos Kiwi Yoshiharu Kohayakawa; Sergio Rajsbaum; Francisco Rodríguez-Henríquez; Jayme Luiz Szwarcfiter; Alfredo Viola 1960-Communications of the ACM New York v. 63, n. 11, p. 102-107, 2020New York 2020Localização: IME - Inst. Matemática e Estatística (PROD-3009281 )(Acessar) |