skip to main content
Idioma:

Resultados de 1 a 10 de 17  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 next page
Mostrar Somente
Refinado por: assunto: Not Available remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
TESTE ESTRUTURAL BASEADO EM FLUXO DE DADOS DE PROGRAMAS CONCORRENTES
TESTE ESTRUTURAL BASEADO EM FLUXO DE DADOS DE PROGRAMAS CONCORRENTES
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

TESTE ESTRUTURAL BASEADO EM FLUXO DE DADOS DE PROGRAMAS CONCORRENTES

Costa Neto, José Craveiro Da

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1995-03-31

Acesso online. A biblioteca também possui exemplares impressos.

2
Mutation Testing Study in SML functional programs
Mutation Testing Study in SML functional programs
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Mutation Testing Study in SML functional programs

Yano, Thaise

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2004-04-16

Acesso online

3
SOBRE AVALIAÇÃO PARCIAL DE META-INTERPRETADORES E GERAÇÃO DE NÚCLEOS ESPECÍFICOS DE SISTEMAS ESPECIALISTA
SOBRE AVALIAÇÃO PARCIAL DE META-INTERPRETADORES E GERAÇÃO DE NÚCLEOS ESPECÍFICOS DE SISTEMAS ESPECIALISTA
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

SOBRE AVALIAÇÃO PARCIAL DE META-INTERPRETADORES E GERAÇÃO DE NÚCLEOS ESPECÍFICOS DE SISTEMAS ESPECIALISTA

Franco, João Luiz

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1991-11-14

Acesso online

4
UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.
UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.

Vasconcelos, Jose Roberto

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1996-08-06

Acesso online. A biblioteca também possui exemplares impressos.

5
PROGRAMAÇÃO LÓGICA E APLICAÇÕES
PROGRAMAÇÃO LÓGICA E APLICAÇÕES
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

PROGRAMAÇÃO LÓGICA E APLICAÇÕES

Gomes, Divair Maria Terna

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1988-02-25

Acesso online. A biblioteca também possui exemplares impressos.

6
IMPLEMENTAÇÃO LÓGICA DO NÚCLEO DE UM SISTEMA ESPECIALISTA
IMPLEMENTAÇÃO LÓGICA DO NÚCLEO DE UM SISTEMA ESPECIALISTA
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

IMPLEMENTAÇÃO LÓGICA DO NÚCLEO DE UM SISTEMA ESPECIALISTA

Hebihara, Sandra Mari

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1988-06-21

Acesso online. A biblioteca também possui exemplares impressos.

7
Architect-R: uma ferramenta para o desenvolvimento de robôs móveis configuráveis
Architect-R: uma ferramenta para o desenvolvimento de robôs móveis configuráveis
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Architect-R: uma ferramenta para o desenvolvimento de robôs móveis configuráveis

Gonçalves, Richard Aderbal

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2002-08-23

Acesso online

8
Utilização de queuing statecharts em um ambiente de simulação automático
Utilização de queuing statecharts em um ambiente de simulação automático
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Utilização de queuing statecharts em um ambiente de simulação automático

Aiza, Thais Souza

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2005-04-11

Acesso online. A biblioteca também possui exemplares impressos.

9
SIMULACAO DISTRIBUIDA EM UMA REDE DE TRANSPUTERS UTILIZANDO O METODO CMB.
SIMULACAO DISTRIBUIDA EM UMA REDE DE TRANSPUTERS UTILIZANDO O METODO CMB.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

SIMULACAO DISTRIBUIDA EM UMA REDE DE TRANSPUTERS UTILIZANDO O METODO CMB.

Morselli Junior, João Carlos De Moraes

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1995-12-07

Acesso online

10
UM SISTEMA BASEADO EM CONHECIMENTO PARA APOIO AOS USUÁRIOS DA BIBLIOTECA NAG
UM SISTEMA BASEADO EM CONHECIMENTO PARA APOIO AOS USUÁRIOS DA BIBLIOTECA NAG
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

UM SISTEMA BASEADO EM CONHECIMENTO PARA APOIO AOS USUÁRIOS DA BIBLIOTECA NAG

Tanaka, Júlia Sawaki

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1991-09-27

Acesso online. A biblioteca também possui exemplares impressos.

Resultados de 1 a 10 de 17  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (10)

Data de Publicação 

De até
Refinar
  1. Antes de1993  (4)
  2. 1993Até1995  (4)
  3. 1996Até2000  (3)
  4. 2001Até2004  (3)
  5. Após 2004  (3)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Santana, R
  2. Monard, M
  3. Maldonado, J
  4. Santana, M
  5. Campanha, G

Neste Assunto:

  1. Não Disponível
  2. Inteligência Artificial
  3. Engenharia De Software
  4. Banco De Dados
  5. Banco De Dados De Padrões

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

Buscando em bases de dados remotas. Favor aguardar.