skip to main content
Idioma:

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

Ordenado por: Ordenado por: Mais acessadosOr hit Enter to replace sort method
Resultados 1 2 next page
Mostrar Somente
Refinado por: assunto: Não Disponível 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 15  para Produção Intelectual da USP

Ordenado por: Ordenado por: Mais acessadosOr 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 (9)

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

Buscando em bases de dados remotas. Favor aguardar.