skip to main content
Idioma:
Resultados 1 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
1
Generating permutations on a VLSI suitable linear network
Generating permutations on a VLSI suitable linear network
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Generating permutations on a VLSI suitable linear network

M Cosnard A G Ferreira

Grenoble Imag 1988

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

2
Two cases of asymptotic smoothness for fuzzi dynamical systems
Two cases of asymptotic smoothness for fuzzi dynamical systems
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Two cases of asymptotic smoothness for fuzzi dynamical systems

Laécio Carvalho de Barros Suzana Abreu de Oliveira Souza; Pedro Aladar Tonelli

São Paulo IME-USP 2000

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

3
Rearrangement of DNA fragments a branch and cut algorithm
Rearrangement of DNA fragments a branch and cut algorithm
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Rearrangement of DNA fragments a branch and cut algorithm

Carlos Eduardo Ferreira C. C Souza; Yoshiko Wakabayashi

Sao Paulo IME-USP 1997

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

4
New approach to the integrability of the calogero models
New approach to the integrability of the calogero models
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

New approach to the integrability of the calogero models

Frank Michael Forger Axel Winterhalder

São Paulo IME-USP 1999

Localização: IME - Inst. Matemática e Estatística    (IME-RT-MA QA700.RT I59 1999 v.07 e.1 ) e outros locais(Acessar)

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

6
Why ontologies are not enough for knowledge sharing
Why ontologies are not enough for knowledge sharing
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Why ontologies are not enough for knowledge sharing

Flávio Soares Corrêa da Silva Wamberto Weber Miranda Peixoto de Vasconcelos; Jaume Agustí; David Robertson; Ana Cristina Vieira de Melo

São Paulo IME-USP 1998

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

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

8
Uso de meta-interpretadores no desenvolvimento de nucleos de sistemas especialistas
Uso de meta-interpretadores no desenvolvimento de nucleos de sistemas especialistas
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Uso de meta-interpretadores no desenvolvimento de nucleos de sistemas especialistas

S R Rodrigues Maria Carolina Monard 1941-

Rio de Janeiro Iltc 1990

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

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

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (5)
  2. Disponível na Biblioteca (655)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (8)
  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. Endler, M  (14)
  21. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1980  (82)
  2. 1980Até1986  (91)
  3. 1987Até1994  (75)
  4. 1995Até2002  (259)
  5. Após 2002  (158)
  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.