skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A formal semantics for finalizers
A formal semantics for finalizers
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A formal semantics for finalizers

Marcus Amorin Leal Roberto Ierusalimschy

Rio de Janeiro PUC 2005

Localização: IME - Inst. Matemática e Estatística    (S M751 2005 v.19 )(Acessar)

2
A framework for building customized adaptation proxies for mobile computing
A framework for building customized adaptation proxies for mobile computing
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A framework for building customized adaptation proxies for mobile computing

Hana Karina Salles Rubinsztejn Markus Endler; Noemi de La Rocque Rodriguez

Rio de Janeiro PUC 2005

Localização: IME - Inst. Matemática e Estatística    (S M751 2005 v.22 )(Acessar)

3
A logarithmic competitive mechanism for unit-demand combinatorial auctions
A logarithmic competitive mechanism for unit-demand combinatorial auctions
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A logarithmic competitive mechanism for unit-demand combinatorial auctions

Claudio Thomas Bornstein Eduardo Sany Laber; Marcelo Albuquerque Fernandes Más

Rio de Janeiro PUC 2005

Localização: IME - Inst. Matemática e Estatística    (S M751 2005 v.3 )(Acessar)

4
A logic-based formal model for (meta) heuristics
A logic-based formal model for (meta) heuristics
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A logic-based formal model for (meta) heuristics

Fernando Náufel do Amaral Edward Hermann Haeusler

Rio de Janeiro PUC 2005

Localização: IME - Inst. Matemática e Estatística    (S M751 2005 v.6 )(Acessar)

5
A logic-based tool for interactive generation and dramatization of stories
A logic-based tool for interactive generation and dramatization of stories
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A logic-based tool for interactive generation and dramatization of stories

Angelo Ernani Maia Ciarlini Cesar Tadeu Pozzer; Antonio Luz Furtado; Bruno Feijó

Rio de Janeiro PUC 2005

Localização: IME - Inst. Matemática e Estatística    (S M751 2005 v.7 )(Acessar)

6
A methodology for building trading agents in electronic markets
A methodology for building trading agents in electronic markets
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A methodology for building trading agents in electronic markets

José Alberto Rodrigues Pereira Sardinha Ruy Luiz Milidiú; Carlos José Pereira de Lucena; Patrick M Paranhos

Rio de Janeiro PUC 2004

Localização: IME - Inst. Matemática e Estatística    (S M751 2004 v.36 )(Acessar)

7
A performace analysis framework for database management systems
A performace analysis framework for database management systems
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A performace analysis framework for database management systems

José Antonio Fernandes de Macêdo Philippe Picouet

Rio de Janeiro PUC 2004

Localização: IME - Inst. Matemática e Estatística    (S M751 2004 v.40 )(Acessar)

8
A virtural memory system for real-time visualization orf multi-resolution 2D objects
A virtural memory system for real-time visualization orf multi-resolution 2D objects
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A virtural memory system for real-time visualization orf multi-resolution 2D objects

Sergio Estevão Machado Lisboa Pinheiro Luiz Velho; Marcelo Gattass

Rio de Janeiro PUC 2001

Localização: IME - Inst. Matemática e Estatística    (S M751 2001 v.31 )(Acessar)

9
Ações para o desenvolvimento de habilidades de matemática e computação para alunos do ensino médio
Ações para o desenvolvimento de habilidades de matemática e computação para alunos do ensino médio
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Ações para o desenvolvimento de habilidades de matemática e computação para alunos do ensino médio

Fábio Dias da Cunha Ketlen Victória Martins de Souza; Thiago Alexandre Salgueiro Pardo

São Carlos ICMC-USP 2022

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

10
Acompanhamento de projetos
Acompanhamento de projetos
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Acompanhamento de projetos

Arndt von Staa

Rio de Janeiro PUC 2003

Localização: IME - Inst. Matemática e Estatística    (S M751 2003 v.13 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Data de Publicação 

De até
Refinar
  1. Antes de1990  (1)
  2. 1990Até2000  (2)
  3. 2001Até2001  (15)
  4. 2002Até2003  (32)
  5. Após 2003  (50)
  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.