skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Kernelization: New Upper and Lower Bound Techniques
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Kernelization: New Upper and Lower Bound Techniques

Bodlaender, Hans L.

Parameterized and Exact Computation, p.17-37 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

2
Treewidth: Characterizations, Applications, and Computations
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Treewidth: Characterizations, Applications, and Computations

Bodlaender, Hans L.

Graph-Theoretic Concepts in Computer Science, 2006, p.1-14 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

3
The Clever Shopper Problem
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

The Clever Shopper Problem

Bulteau, Laurent ; Hermelin, Danny ; Labarre, Anthony ; Vialette, Stéphane

Computer Science – Theory and Applications, 2018, p.53-64 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

4
Slopes of 3-Dimensional Subshifts of Finite Type
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Slopes of 3-Dimensional Subshifts of Finite Type

Moutot, Etienne ; Vanier, Pascal

Computer Science – Theory and Applications, 2018, p.257-268 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

5
Maximum Colorful Cycles in Vertex-Colored Graphs
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Maximum Colorful Cycles in Vertex-Colored Graphs

Italiano, Giuseppe F. ; Manoussakis, Yannis ; Kim Thang, Nguyen ; Pham, Hong Phong

CSR 2018: Computer Science – Theory and Applications, 2018, Vol.10846, p.106-117 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

6
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

Deniélou, Pierre-Malo ; Yoshida, Nobuko

Automata, Languages, and Programming, p.174-186 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

7
On Strong NP-Completeness of Rational Problems
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

On Strong NP-Completeness of Rational Problems

Wojtczak, Dominik

Computer Science – Theory and Applications, 2018, p.308-320 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

8
Can We Create Large k-Cores by Adding Few Edges?
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Can We Create Large k-Cores by Adding Few Edges?

Chitnis, Rajesh ; Talmon, Nimrod

Computer Science – Theory and Applications, 2018, p.78-89 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

9
Distributed Symmetry-Breaking Algorithms for Congested Cliques
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Distributed Symmetry-Breaking Algorithms for Congested Cliques

Barenboim, Leonid ; Khazanov, Victor

Computer Science – Theory and Applications, 2018, p.41-52 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

10
Subexponential parameterized algorithms on bounded-genus graphs and H -minor-free graphs
Material Type:
Artigo
Adicionar ao Meu Espaço

Subexponential parameterized algorithms on bounded-genus graphs and H -minor-free graphs

Demaine, Erik ; Fomin, Fedor ; Hajiaghayi, Mohammadtaghi ; Thilikos, Dimitrios

Journal of the ACM, 2005-11, Vol.52 (6), p.866-893 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (161)
  2. Revistas revisadas por pares (248)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (131)
  2. Book Chapters  (92)
  3. Artigos  (26)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1999  (2)
  2. 1999Até2001  (2)
  3. 2002Até2003  (19)
  4. 2004Até2006  (54)
  5. Após 2006  (173)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.