Resultados de 1 a 10 de 15 para Acervo Físico
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
autor:
Simão, A
| 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. |
Resultados de 1 a 10 de 15 para Acervo Físico
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Refinar Meus Resultados
Assunto
- Engenharia De Software (8)
- Teste E Avaliação De Software (4)
- Softwares (4)
- Geração De Casos De Teste (2)
- Máquinas De Estados Finitos (2)
- Model-Based Testing (2)
- Finite State Machines (2)
- Linguagem De Programação (2)
- Formal Specification (1)
- Monte-Carlo-Simulation (1)
- Barreto, Luis Pereira 1840-1923 (1)
- Test Cases Methods Generation (1)
- Arquitetura Orientada A Serviços (1)
- Mecânica Dos Fluídos Computacional (1)
- Teste Estrutural (1)
- Precificação De Derivativos (1)
- Test Cases Generation (1)
- Predição De Defeitos Em Software (1)
- Social Thinking (1)
- Sales, Alberto 1857-1904 (1)
-
Mais opções
Autor/Criador
- Alberto, A (2)
- Porto, F (2)
- Mello Neto, L (1)
- Maldonado, J (1)
- Mello, M (1)
- Gauldel, M (1)
- Carvalho, J (1)
- Workshop deTeses e Dissertações em Andamento - ICMC/USP (1)
- Sallum Junior, B (1)
- Pinheiro, A (1)
- Calderaro, F (1)
- Endo, A (1)
- Simpósio de Teses e Dissertações (1)
- Simao, A (1)
- Geromini, M (1)
- Ciancaglini, P (1)
- Fonseca, H (1)
- Pinheiro, P (1)
-
Mais opções
Data de Publicação
- Antes de2008 (2)
- 2008Até2011 (4)
- 2012Até2013 (3)
- 2014Até2017 (5)
- Após 2017 (1)
-
Mais opções
Biblioteca
Idioma
- Português (13)
- Inglês (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 