skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Teoria Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Improved NP-hardness results for the minimum t-spanner problem on bounded-degree graphs
Improved NP-hardness results for the minimum t-spanner problem on bounded-degree graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Improved NP-hardness results for the minimum t-spanner problem on bounded-degree graphs

Renzo Gómez Flavio Keidi Miyazawa; Yoshiko Wakabayashi

Theoretical Computer Science Amsterdam v. 947, artigo n. 113691, p. 1-13, 2023

Amsterdam 2023

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

2
A tight lower bound for the online bounded space hypercube bin packing problem
A tight lower bound for the online bounded space hypercube bin packing problem
Material Type:
Artigo 		Adicionar ao Meu Espaço

A tight lower bound for the online bounded space hypercube bin packing problem

Yoshiharu Kohayakawa Flavio Keidi Miyazawa; Yoshiko Wakabayashi

Discrete Mathematics & Theoretical Computer Science Nancy v. 23, n. 3, p.1-13, 2021

Nancy 2021

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

3
LATIN 2020 theoretical informatics
LATIN 2020 theoretical informatics
Material Type:
Livro 		Adicionar ao Meu Espaço

LATIN 2020 theoretical informatics

Yoshiharu Kohayakawa Flavio Keidi Miyazawa; Latin American Symposium - LATIN (14. 2020 São Paulo)

Cham Springer 2020

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

4
We are very pleased to present this volume with the papers accepted to the 14th Latin American Theoretical INformatics Symposium. [Prefácio]
We are very pleased to present this volume with the papers accepted to the 14th Latin American Theoretical INformatics Symposium. [Prefácio]
Material Type:
Livro 		Adicionar ao Meu Espaço

We are very pleased to present this volume with the papers accepted to the 14th Latin American Theoretical INformatics Symposium. [Prefácio]

Yoshiharu Kohayakawa Flavio Keidi Miyazawa; Latin American Symposium - LATIN (14. 2020 São Paulo)

Kohayakawa, Yoshiharu; Miyazawa, Flavio Keidi, ed LATIN 2020 : theoretical informatics Cham : Springer, 2020

Cham Springer 2020

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

5
The online multicommodity connected facility location problem
The online multicommodity connected facility location problem
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

The online multicommodity connected facility location problem

Mário César San Felice Cristina Gomes Fernandes 1966-; Carla Negri Lintzmayer; International Workshop on Approximation and Online Algorithms - WAOA (15. 2017 Vienna, Austria)

Proceedings Cham: Springer, 2018

Cham Springer 2018

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

6
Towards MC/DC coverage of properties specification patterns
Towards MC/DC coverage of properties specification patterns
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards MC/DC coverage of properties specification patterns

Ana Cristina Vieira de Melo Corina S Pasareanu; Simone Hanazumi; International Colloquium on Theoretical Aspects of Computing - ICTAC (13. 2016 Taipei, Taiwan)

Proceedings Cham: Springer, 2016

Cham Springer 2016

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

7
An argumentation machinery to reason over inconsistent ontologies
An argumentation machinery to reason over inconsistent ontologies
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

An argumentation machinery to reason over inconsistent ontologies

Martin O Moguillansky Renata Wassermann; Marcelo A Falappa; Ibero-American Conference on Artificial Intelligence - IBERAMIA (12. (2010 Bahía Blanca, Argentina)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

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

8
Handbook of discrete and combinatorial mathematics
Handbook of discrete and combinatorial mathematics
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook of discrete and combinatorial mathematics

Kenneth H Rosen; John G Michaels

Boca Raton CRC Press 2010

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária  ACERVO DELFIM NETTO  (A20.31.18 )(Acessar)

9
Quantum computation and quantum information
Quantum computation and quantum information
Material Type:
Livro 		Adicionar ao Meu Espaço

Quantum computation and quantum information

Michael A. Nielsen 1974- Isaac L Chuang 1968-

Cambridge Cambridge University Press New York 2010

Localização: EACH - Esc. Artes, Ciências e Humanidades    (004.0151 N669q e.2 ) e outros locais(Acessar)

10
Information, physics, and computation
Information, physics, and computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Information, physics, and computation

Marc Mezard Andrea Montanari

Oxford England Oxford University Press New York 2009

Localização: EACH - Esc. Artes, Ciências e Humanidades    (530.13 M617i ) e outros locais(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (20)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (471)
  2. Artigos  (9)
  3. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.