skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
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
Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable Information
Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable Information
Material Type:
Livro 		Adicionar ao Meu Espaço

Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable Information

Cicalese, Ferdinando

Berlin, Heidelberg: Springer Nature 2013

Texto completo disponível

Citações Citado por
8
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)

9
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)

10
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)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (485)
  2. Artigos  (9)
  3. Anais de Congresso  (7)
  4. Mais opções open sub menu

Assunto 

  1. Computer Science  (82)
  2. Linguagens Formais  (43)
  3. Ciência Da Computação  (38)
  4. Machine Theory  (37)
  5. Metodologia E Técnicas De Computação  (35)
  6. Inteligência Artificial  (32)
  7. Softwares  (32)
  8. Computers  (30)
  9. Computational Complexity  (28)
  10. Algoritmos E Estruturas De Dados  (28)
  11. Engenharia De Software  (25)
  12. Arquitetura E Organização De Computadores  (25)
  13. Programming Languages (Electronic Computers)  (24)
  14. Parallel Processing (Electronic Computers)  (23)
  15. Lógica Matemática  (22)
  16. Teoria Da Computação  (21)
  17. Computabilidade E Complexidade  (21)
  18. Teoria Da Computação  (21)
  19. Linguagem De Programação  (20)
  20. Formal Languages  (19)
  21. Computer Software  (19)
  22. Logic, Symbolic And Mathematical  (19)
  23. Electronic Data Processing  (19)
  24. Electronic Digital Computers  (18)
  25. Análise De Algoritmos  (18)
  26. Artificial Intelligence  (16)
  27. Algorithms  (14)
  28. Computation By Abstract Devices  (11)
  29. Mathematics  (11)
  30. E-Book Springer Lncs  (9)
  31. Kongress  (9)
  32. Congresses  (9)
  33. Theory Of Computation  (8)
  34. Congressos  (7)
  35. Programas De Computador  (7)
  36. Software Engineering  (6)
  37. Information Theory  (5)
  38. Algorithm Analysis And Problem Complexity  (5)
  39. Biocomputer  (5)
  40. Machine Theory  (4)
  41. Análise De Algoritmos  (4)
  42. Softwares  (2)
  43. Electronic Digital Computers  (2)
  44. Arquitetura E Organização De Computadores  (2)
  45. Linguagens Formais  (1)
  46. Algoritmos E Estruturas De Dados  (1)
  47. Logic, Symbolic And Mathematical  (1)
  48. Linguagem De Programação  (1)
  49. Inteligência Artificial  (1)
  50. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1978  (39)
  2. 1978Até1986  (60)
  3. 1987Até1995  (187)
  4. 1996Até2006  (207)
  5. Após 2006  (18)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.