Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
![]() |
Aditivos para alimentos sob o aspecto toxicólogicoSimão, Antonia MattosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Saúde Pública 1977-07-28Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Dissertação de Mestrado
|
![]() |
Teste de composição de web services: uma estratégia baseada em um modelo de teste de programas paralelosEndo, André TakeshiBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2008-04-17Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Dissertação de Mestrado
|
![]() |
Precificação de opções exóticas utilizando CUDACalderaro, Felipe BoteonBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2017-10-17Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Tese de Doutorado
|
![]() |
Modernização e civilização em debate: proposta(s) positivista(s), embate de ideias e ação política no Brasil ao final do século XIXSimão, André LucianoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2013-08-12Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Dissertação de Mestrado
|
![]() |
Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UMLPinheiro, Pedro Victor PontesBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2014-04-15Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Dissertação de Mestrado
|
![]() |
Uma estratégia para a minimização de máquinas de estados finitos parciaisAlberto, Alex Donizeti BetezBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2009-04-22Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Dissertação de Mestrado
|
![]() |
Minimização de conjuntos de casos de teste para máquinas de estados finitosMello Neto, Lúcio Felippe DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2008-05-09Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Tese de Doutorado
|
![]() |
Formal mutation testing in Circus process algebraAlberto, Alex Donizeti BetezBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2018-09-21Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Dissertação de Mestrado
|
![]() |
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.Simão, Adenilso Da SilvaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2000-03-17Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Tese de Doutorado
|
![]() |
Cross-project defect prediction with meta-LearningPorto, Faimison RodriguesBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2017-09-29Acesso online. A biblioteca também possui exemplares impressos. |