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
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Produções Técnicas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
2-list algorithm for the knapsack problem on a fpst20
2-list algorithm for the knapsack problem on a fpst20
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

2-list algorithm for the knapsack problem on a fpst20

M Cosnard A G Ferreira; H Herbelin

Grenoble Imag 1988

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

12
Modelos matematicos para a formacao de portfolios
Modelos matematicos para a formacao de portfolios
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Modelos matematicos para a formacao de portfolios

Julio Michael Stern 1958-

São Paulo IME-USP 1994

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

13
Comprehensive evaluation of a two dimensional configurable array
Comprehensive evaluation of a two dimensional configurable array
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Comprehensive evaluation of a two dimensional configurable array

O Menzilcioglu H T Kung; W S Song

Pittsburgh Cmu-Cs 1989

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

14
The transient distinguishability of identical particles
The transient distinguishability of identical particles
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

The transient distinguishability of identical particles

C Z Mammana

Sao Paulo Ifusp 1996

Acesso online

15
Parallel time / hardware tradloff t.H =0(2 pot.N/2) for the knapsack problem
Parallel time / hardware tradloff t.H =0(2 pot.N/2) for the knapsack problem
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Parallel time / hardware tradloff t.H =0(2 pot.N/2) for the knapsack problem

A G Ferreira

Grenoble Imag 1988

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

16
Some constructions on categories related to fork and projection algebras
Some constructions on categories related to fork and projection algebras
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Some constructions on categories related to fork and projection algebras

Paulo A. S. Veloso

Rio de Janeiro PUC 1998

Localização: IME - Inst. Matemática e Estatística    (S M751 1998 v.15 ) e outros locais(Acessar)

17
Metodologias para o desenvolvimento de sistemas automatizados a proposta de desenvolvimento
Metodologias para o desenvolvimento de sistemas automatizados a proposta de desenvolvimento
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Metodologias para o desenvolvimento de sistemas automatizados a proposta de desenvolvimento

Arndt Von Staa

Rio de Janeiro PUC 1982

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

18
Sharing resource-sensitive knowledge using combinator logics
Sharing resource-sensitive knowledge using combinator logics
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Sharing resource-sensitive knowledge using combinator logics

Marcelo Finger Wamberto Weber Miranda Peixoto de Vasconcelos

São Paulo IME-USP 2000

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

19
Metodo sintatico de prova de teoremas algoritmo de wang
Metodo sintatico de prova de teoremas algoritmo de wang
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Metodo sintatico de prova de teoremas algoritmo de wang

Maria Carolina Monard 1941- M C Nicoletti

Sao Carlos Icmsc-Usp 1990

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-816336 ) e outros locais(Acessar)

20
Tableaux for approximate reasoning
Tableaux for approximate reasoning
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Tableaux for approximate reasoning

Marcelo Finger Renata Wassermann

São Paulo IME-USP 2001

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

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (10)
  2. Disponível na Biblioteca (666)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (12)
  2. Produções Acadêmicas  (4)
  3. Artigos  (1)
  4. Mais opções open sub menu

Autor/Criador 

  1. Lucena, C  (130)
  2. Veloso, P  (50)
  3. Staa, A  (33)
  4. Furtado, A  (32)
  5. Fuks, H  (31)
  6. Melo, R  (30)
  7. Garcia, A  (22)
  8. Milidiu, R  (21)
  9. Silva, V  (19)
  10. Haeusler, E  (19)
  11. Rodriguez, N  (18)
  12. Souza, C  (18)
  13. Carvalho, S  (18)
  14. Casanova, M  (18)
  15. Ierusalimschy, R  (15)
  16. Santos, V  (15)
  17. Ribeiro, C  (15)
  18. Laber, E  (15)
  19. Gattass, M  (14)
  20. Schwabe, D  (14)
  21. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1980  (83)
  2. 1980Até1987  (101)
  3. 1988Até1996  (77)
  4. 1997Até2005  (401)
  5. Após 2005  (28)
  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.