skip to main content

Resultados de 1 a 10 de 337  para Produção Intelectual da USP

Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover tipo de recurso: Artigos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Bringing AGM to computer science

Renata Wassermann Márcio Moretto Ribeiro

South American Journal of Logic Campinas v. 1, n. 2, p. 447-459, 2015

Campinas 2015

Acesso online. A biblioteca também possui exemplares impressos.

2
Material Type:
Artigo
Adicionar ao Meu Espaço

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, 2019

Amsterdam 2019

Localização: IME - Inst. Matemática e Estatística    (PROD-3000163 )(Acessar)

3
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Sequence comparison some theory and some practice

Imre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1987 Saint-Pierre d'Oléron)

Proceedings Berlin : Springer, 1989

Berlin Springer 1989

Localização: IME - Inst. Matemática e Estatística    (S L471c v.377 ) e outros locais(Acessar)

4
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Compression and entropy

Georges Hansel Dominique Perrin; Imre Simon 1943-2009; Annual Symposium on Theoretical Aspects of Computer Science - STACS (9. 1992 Cachan, France)

Proceedings Berlin : Springer, 1992

Berlin Springer 1992

Localização: IME - Inst. Matemática e Estatística    (PROD-834804 ) e outros locais(Acessar)

5
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Recognizable sets with multiplicities in the tropical semiring

Imre Simon 1943-2009 International Symposium on Mathematical Foundations of Computer Science - MFCS (13. 1988 Carlsbad, Czechoslovakia)

Proceedings Berlin : Springer, 1988

Berlin Springer 1988

Localização: IME - Inst. Matemática e Estatística    (PROD-781435 ) e outros locais(Acessar)

6
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Bayesian networks in software maintenance management

Ana 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, 2005

Berlin Springer 2005

Localização: IME - Inst. Matemática e Estatística    (PROD-1473482 ) e outros locais(Acessar)

7
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Maximum series-parallel subgraph

Gruia Calinescu Cristina Gomes Fernandes 1966-; Hemanshu Kaul; International Workshop on Graph-Theoretic Concepts in Computer Science - WG (35. 2009 Montpellier)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

Localização: IME - Inst. Matemática e Estatística    (PROD-1831948 ) e outros locais(Acessar)

8
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Some approximation results for the maximum agreement forest problem

Estela 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, 2001

Berlin Springer 2001

Localização: IME - Inst. Matemática e Estatística    (PROD-1241364 ) e outros locais(Acessar)

9
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

A systematic approach to bound factor revealing LPs and its application to the metric and squared metric facility location problems

Cristina 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, 2012

Berlin Springer 2012

Localização: IME - Inst. Matemática e Estatística    (PROD-2306003 ) e outros locais(Acessar)

10
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Near-optimum universal graphs for graphs with bounded degrees

Noga 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, 2001

Berlin Springer 2001

Localização: IME - Inst. Matemática e Estatística    (PROD-1241370 ) e outros locais(Acessar)

Resultados de 1 a 10 de 337  para Produção Intelectual da USP

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (7)

Data de Publicação 

De até
  1. Antes de1991  (8)
  2. 1991Até1999  (22)
  3. 2000Até2006  (81)
  4. 2007Até2014  (92)
  5. Após 2014  (134)
  6. Mais opções open sub menu

Nome da Publicação 

  1. Proceedings  (217)
  2. Theoretical Computer Science  (25)
  3. Electronic Notes in Theoretical Computer Science  (14)
  4. Procedia Computer Science  (10)
  5. Mathematical morphology and its applications to signal and image processing: Proceedings  (7)
  6. Lecture Notes in Computer Science  (6)
  7. International Journal of Foundations of Computer Science  (4)
  8. SN Computer Science  (3)
  9. Scalable Uncertainty Management: 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings  (2)
  10. Science of Computer Programming  (2)
  11. Mathematical Morphology and Its Applications to Signal and Image Processing: 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings  (2)
  12. Collaboration and technology: 20th International Conference, CRIWG 2014, Santiago, Chile, September 7-10, 2014. Proceedings  (2)
  13. Symbolic and quantitative approaches to reasoning with bncertainty: Proceedings  (2)
  14. LATIN 2014: theoretical informatics: Proceedings  (2)
  15. Information Security: 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings  (1)
  16. Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: 21st Iberoamerican Congress, CIARP 2016, Lima, Peru, November 8–11, 2016, Proceedings  (1)
  17. Communications of the ACM  (1)
  18. Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I  (1)
  19. Anais  (1)
  20. Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings  (1)
  21. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.