Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
TESTE ESTRUTURAL BASEADO EM FLUXO DE DADOS DE PROGRAMAS CONCORRENTESCosta Neto, José Craveiro DaBiblioteca 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-31Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Dissertação de Mestrado
|
Mutation Testing Study in SML functional programsYano, ThaiseBiblioteca 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-16Acesso online |
|
3 |
Material Type: Dissertação de Mestrado
|
SOBRE AVALIAÇÃO PARCIAL DE META-INTERPRETADORES E GERAÇÃO DE NÚCLEOS ESPECÍFICOS DE SISTEMAS ESPECIALISTAFranco, João LuizBiblioteca 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-14Acesso online |
|
4 |
Material Type: Dissertação de Mestrado
|
UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.Vasconcelos, Jose RobertoBiblioteca 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-06Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Dissertação de Mestrado
|
PROGRAMAÇÃO LÓGICA E APLICAÇÕESGomes, Divair Maria TernaBiblioteca 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-25Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Dissertação de Mestrado
|
IMPLEMENTAÇÃO LÓGICA DO NÚCLEO DE UM SISTEMA ESPECIALISTAHebihara, Sandra MariBiblioteca 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-21Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Dissertação de Mestrado
|
Architect-R: uma ferramenta para o desenvolvimento de robôs móveis configuráveisGonçalves, Richard AderbalBiblioteca 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-23Acesso online |
|
8 |
Material Type: Dissertação de Mestrado
|
Utilização de queuing statecharts em um ambiente de simulação automáticoAiza, Thais SouzaBiblioteca 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-11Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Dissertação de Mestrado
|
SIMULACAO DISTRIBUIDA EM UMA REDE DE TRANSPUTERS UTILIZANDO O METODO CMB.Morselli Junior, João Carlos De MoraesBiblioteca 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-07Acesso online |
|
10 |
Material Type: Dissertação de Mestrado
|
UM SISTEMA BASEADO EM CONHECIMENTO PARA APOIO AOS USUÁRIOS DA BIBLIOTECA NAGTanaka, Júlia SawakiBiblioteca 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-27Acesso online. A biblioteca também possui exemplares impressos. |