Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
![]() |
Avaliação de diferentes medidas de similaridade no SIMDISPAT - Novo Algoritmo de Simulação de Múltiplos PontosMorales Rodriguez, Karla XimenaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Geociências 2021-05-28Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Dissertação de Mestrado
|
![]() |
Análise estrutural de descontinuidades baseada em técnicas de structure from motion: aplicação em mina a céu abertoViana, Camila DuelisBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Geociências 2015-04-24Acesso online |
3 |
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. |
4 |
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 |
5 |
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 |
6 |
Material Type: Tese de Doutorado
|
![]() |
Statecharts estocásticos e queuing statecharts: novas abordagens para avaliação de desempenho baseadas em especificação statechartsFrancês, Carlos Renato LisboaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2001-10-15Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Dissertação de Mestrado
|
![]() |
Aquisição de Conhecimento Utilizando Aprendizado de Máquina RelacionalCaulkins, Chandler WellingtonBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2000-08-17Acesso online. A biblioteca também possui exemplares impressos. |
8 |
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. |
9 |
Material Type: Tese de Doutorado
|
![]() |
Servidores de arquivos de alto desempenhoFischer, Carlos NorbertoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física de São Carlos 1996-03-15Acesso online. A biblioteca também possui exemplares impressos. |
10 |
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. |