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
Resultados 1 2 3 4 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
Supporting distributed application management in sampa
Supporting distributed application management in sampa
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Supporting distributed application management in sampa

Markus Endler Anil D'Souza

São Paulo IME-USP 1995

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

2
Facts, anotations, arguments and reasoning
Facts, anotations, arguments and reasoning
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Facts, anotations, arguments and reasoning

Daniela Vasconcelos Carbogim Flávio Soares Corrêa da Silva

São Paulo IME-USP 1996

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

3
A two-sorted interpretation for annotated logic
A two-sorted interpretation for annotated logic
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A two-sorted interpretation for annotated logic

Flávio Soares Corrêa da Silva Daniela Vasconcelos Carbogim

São Paulo IME-USP 1998

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

4
A system for reasoning with fuzzy predicates
A system for reasoning with fuzzy predicates
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A system for reasoning with fuzzy predicates

Flávio Soares Corrêa da Silva Daniela Vasconcelos Carbogim

São Paulo IME-USP 1994

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

5
Learning management systems desiderta for competitive universities
Learning management systems desiderta for competitive universities
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Learning management systems desiderta for competitive universities

Flávio Soares Corrêa da Silva Rogério Panigassi; Carlos Hulot

São Paulo IME-USP 2007

Localização: IME - Inst. Matemática e Estatística    (RT-MAC 2007 v.2 ) e outros locais(Acessar)

6
Resultados dos benchmarks realizados nos programas sap4, sap90 e caeds
Resultados dos benchmarks realizados nos programas sap4, sap90 e caeds
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Resultados dos benchmarks realizados nos programas sap4, sap90 e caeds

E M Heilmann

Sao Paulo Escritorio Tecnico de Construcao Naval em Sao Paulo 1990

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

7
the product of rational languages
the product of rational languages
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

the product of rational languages

Imre Simon 1943-2009

São Paulo IME-USP 1993

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

8
Automatic programming of binary morphological machines by design of statistically optimal operators in the context of computational learning theory
Automatic programming of binary morphological machines by design of statistically optimal operators in the context of computational learning theory
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Automatic programming of binary morphological machines by design of statistically optimal operators in the context of computational learning theory

Júnior Barrera Edward R Dougherty; Nina Sumiko Tomita Hirata

São Paulo IME-USP 1996

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

9
Set operations on closed intervals and their applications to the automatic programming of MMach's
Set operations on closed intervals and their applications to the automatic programming of MMach's
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Set operations on closed intervals and their applications to the automatic programming of MMach's

Júnior Barrera Guillermo Pablo Salas

Sao Paulo IME-USP 1996

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

10
Análise computacional de estruturas por meio da programação orientada para objetos
Análise computacional de estruturas por meio da programação orientada para objetos
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Análise computacional de estruturas por meio da programação orientada para objetos

Gílson Fujii Luiz Fernando Martha; Túlio Nogueira Bittencourt 1961-

São Paulo EPUSP 1997

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

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

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

Data de Publicação 

De até
Refinar
  1. Antes de1978  (2)
  2. 1978Até1990  (7)
  3. 1991Até1992  (5)
  4. 1993Até1995  (8)
  5. Após 1995  (9)
  6. Mais opções open sub menu

Idioma 

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

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

Buscando em bases de dados remotas. Favor aguardar.