skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Refinado por: tipo de recurso: Artigos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Building PQR trees in almost-linear time
Building PQR trees in almost-linear time
Material Type:
Artigo 		Adicionar ao Meu Espaço

Building PQR trees in almost-linear time

Guilherme Pimentel Telles João Meidanis

Eletronic Notes in Discrete Mathematics v. 19, p. 33-39, 2005

2005

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1472391 )(Acessar)

12
Applying semantics to grid middleware
Applying semantics to grid middleware
Material Type:
Artigo 		Adicionar ao Meu Espaço

Applying semantics to grid middleware

A. C. T. Vidal F. J. S Silva; Sergio Takeo Kofuji 1958-; Fábio Kon 1969-

Concurency and Computation: practice and experience Sussex v. 21, n. 13, p. 1725-1741, 2009

Sussex 2009

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

13
Using A-Teams to optimize automatic insertion of electronic components
Using A-Teams to optimize automatic insertion of electronic components
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using A-Teams to optimize automatic insertion of electronic components

Cesar Scarpini Rabak Jaime S Sichman (Jaime Simão) 1962-

Advanced Engineering Informatics, Amsterdam, v. 17, n. 2, p. 95-106, 2003.

Amsterdam 2003

Item não circula. Consulte sua biblioteca.(Acessar)

14
Número de Ramsey relativo a arestas de potências de caminhos
Número de Ramsey relativo a arestas de potências de caminhos
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Número de Ramsey relativo a arestas de potências de caminhos

Dennis Clemens Matthew Jenssen; Yoshiharu Kohayakawa; Natasha Morrison; Guilherme Oliveira Mota; Damian Reding; Barnaby Roberts; Congresso da Sociedade Brasileira de Computação - CSBC (37. 2017 São Paulo); Encontro de Teoria da Computação - ETC (2. 2017 São Paulo)

Anais São Paulo : Sociedade Brasileira de Computação, 2017

São Paulo Sociedade Brasileira de Computação 2017

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

15
Hitting all longest cycles in a graph
Hitting all longest cycles in a graph
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Hitting all longest cycles in a graph

Cristina Gomes Fernandes 1966- Juan Gutierrez; Congresso da Sociedade Brasileira de Computação - CSBC (37. 2017 São Paulo); Encontro de Teoria da Computação - ETC (2. 2017 São Paulo)

Anais São Paulo : Sociedade Brasileira de Computação, 2017

São Paulo Sociedade Brasileira de Computação 2017

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

16
Using A-Teams to optimize automatic insertion of electronic components
Using A-Teams to optimize automatic insertion of electronic components
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using A-Teams to optimize automatic insertion of electronic components

Cesar Scarpini Rabak Jaime S Sichman (Jaime Simão) 1962-

Advanced Engineering Informatics, Amsterdam, v. 17, n. 2, p. 95-106, 2003.

Amsterdam 2003

Item não circula. Consulte sua biblioteca.(Acessar)

17
JumpNet improving connectivity and robustness in unstructured P2P networks by randomness
JumpNet improving connectivity and robustness in unstructured P2P networks by randomness
Material Type:
Artigo 		Adicionar ao Meu Espaço

JumpNet improving connectivity and robustness in unstructured P2P networks by randomness

Jan Zich Yoshiharu Kohayakawa; Vojtech Rodl; Vaidy Sunderam

Internet Mathematics New York v. 5, n. 3, p. 227-250, 2008

New York 2008

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

18
Belief revision on computation tree logic
Belief revision on computation tree logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Belief revision on computation tree logic

Paulo T Guerra Renata Wassermann; International Joint Conference on Artificial Intelligence - IJCAI (22. 2011 Barcelona, Catalonia, Spain)

Proceedings Palo Alto : AAAI Press, 2011

Palo Alto AAAI Press 2011

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

19
A parallel algorithm for minimum spanning tree on GPU
A parallel algorithm for minimum spanning tree on GPU
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A parallel algorithm for minimum spanning tree on GPU

Jucele Franca de Alencar Vasconcellos Edson Norberto Caceres; Henrique Mongelli; Siang Wun Song; International Symposium on Computer Architecture and High Performance Computing Workshops (29. 2017 Campinas, SP)

Proceedings Los Alamitos: IEEE, 2017

Los Alamitos IEEE 2017

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

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

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1999  (7)
  2. 1999Até2006  (15)
  3. 2007Até2011  (18)
  4. 2012Até2017  (23)
  5. Após 2017  (19)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Costa, L
  2. Kohayakawa, Y
  3. Santos, E
  4. Mendes, T
  5. Silva, F

Neste Assunto:

  1. Teoria Da Computação
  2. Ciência Da Computação
  3. Teoria Dos Grafos
  4. Algoritmos
  5. Tecnologia

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

Buscando em bases de dados remotas. Favor aguardar.