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
Existence and uniqueness of strong solutions of nonhomogeneous incompressible asymetric fluids in unbounded domains
Existence and uniqueness of strong solutions of nonhomogeneous incompressible asymetric fluids in unbounded domains
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Existence and uniqueness of strong solutions of nonhomogeneous incompressible asymetric fluids in unbounded domains

Mariano Edgardo Poblete-Cantellano Marko Antonio Rojas-Medar

São Paulo IME-USP 2001

Localização: IME - Inst. Matemática e Estatística    (IME-RT-MA QA700.RT I59 2001 )(Acessar)

2
Ambientes de suporte à colaboração em redes móveis
Ambientes de suporte à colaboração em redes móveis
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Ambientes de suporte à colaboração em redes móveis

Tatiana Almeida Souza Coelho Markus Endler

Rio de Janeiro PUC 2002

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

3
OTTERLIB - A C library for theorem proving
OTTERLIB - A C library for theorem proving
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

OTTERLIB - A C library for theorem proving

Flávio Protasio Ribeiro

São Paulo IME-USP 2002

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2002 v.9 e.1 )(Acessar)

4
FGrin um framework baseado em sistemas multi-agentes para formação de grupos de interesse a partir de uma base semântica
FGrin um framework baseado em sistemas multi-agentes para formação de grupos de interesse a partir de uma base semântica
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

FGrin um framework baseado em sistemas multi-agentes para formação de grupos de interesse a partir de uma base semântica

Ângela Brígida Albarello Carlos José Pereira de Lucena

Rio de Janeiro PUC 2004

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

5
Validating hypermedia documents a timed automata approach
Validating hypermedia documents a timed automata approach
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Validating hypermedia documents a timed automata approach

Marcelo Fagundes Felix Edward Hermann Haeusler; Luiz Fernando Gomes Soares

Rio de Janeiro PUC 2002

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

6
Developing multi-agent software an aspect-based approach and a pattern-based approach
Developing multi-agent software an aspect-based approach and a pattern-based approach
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Developing multi-agent software an aspect-based approach and a pattern-based approach

Alessandro Fabricio Garcia; Christina von Flach G Chavez; Viviane Torres da Silva; Carlos José Pereira de Lucena

Rio de Janeiro PUC 2001

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

7
Um framework para construção de sistemas de bancos de dados móvel com regras ativas
Um framework para construção de sistemas de bancos de dados móvel com regras ativas
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Um framework para construção de sistemas de bancos de dados móvel com regras ativas

Sergio da Costa Côrtes Carlos José Pereira de Lucena

Rio de Janeiro PUC 2001

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

8
Design patterns as aspects a quantittive approach
Design patterns as aspects a quantittive approach
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Design patterns as aspects a quantittive approach

Cláudio Nogueira Sant´Anna Alessandro Fabricio Garcia; Uira Kulesza; Carlos José Pereira de Lucena; Arndt von Staa

Rio de Janeiro PUC 2004

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

9
An Aplication of integer programming to playoff elimintion in football championships
An Aplication of integer programming to playoff elimintion in football championships
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

An Aplication of integer programming to playoff elimintion in football championships

Celso Carneiro Ribeiro Sebastián Alberto Urrutia

Rio de Janeiro PUC 2004

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

10
O "acompanhamento da participação" e avaliação no ambiente AulaNet
O "acompanhamento da participação" e avaliação no ambiente AulaNet
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

O "acompanhamento da participação" e avaliação no ambiente AulaNet

Leonardo Magela Cunha; Alessandro Fabricio Garcia; Rodrigo Lemos de Assis; Hugo Fuks; Carlos José Pereira de Lucena

Rio de Janeiro PUC 2001

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Autor/Criador 

  1. Lucena, C  (27)
  2. Garcia, A  (10)
  3. Endler, M  (9)
  4. Staa, A  (7)
  5. Silva, V  (6)
  6. Haeusler, E  (6)
  7. Laber, E  (5)
  8. Gattass, M  (5)
  9. Fuks, H  (5)
  10. Milidiu, R  (5)
  11. Feijó, B  (4)
  12. Ierusalimschy, R  (4)
  13. Milidiú, R  (4)
  14. Furtado, A  (4)
  15. Melo, R  (4)
  16. Rubinsztejn, H  (4)
  17. Casanova, M  (3)
  18. Barbosa, S  (3)
  19. Pereira, L  (3)
  20. Schwabe, D  (3)
  21. Mais opções open sub menu

Data de Publicação 

De até
Refinar

Idioma 

  1. Inglês  (56)
  2. Português  (42)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Lucena, C
  2. Garcia, A
  3. Endler, M
  4. Staa, A
  5. Silva, V

Neste Assunto:

  1. Ciência Da Computação (Relatório Técnico)

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

Buscando em bases de dados remotas. Favor aguardar.