Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Dissertação de Mestrado
|
![]() |
Teste de mutação aplicado a programas concorrentes em MPISilva, Rodolfo AdamshukBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2013-03-13Acesso online. A biblioteca também possui exemplares impressos. |
12 |
Material Type: Tese de Doutorado
|
![]() |
Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programsSilva, Rodolfo AdamshukBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2018-05-30Acesso online. A biblioteca também possui exemplares impressos. |
13 |
Material Type: Dissertação de Mestrado
|
![]() |
CaleidociclosSilva, Reginaldo Alexandre DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2017-01-13Acesso online. A biblioteca também possui exemplares impressos. |
14 |
Material Type: Dissertação de Mestrado
|
![]() |
Homeomorfismos do toro cujo conjunto de rotação é um segmento de retaSilva, Romenique Da RochaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2007-07-27Acesso online. A biblioteca também possui exemplares impressos. |
15 |
Material Type: Relatório Técnico
|
![]() |
Nonlinear parabolic problems in thin domains with a highly oscillatory boundaryJosé M. Arrieta Alexandre Nolasco de Carvalho; Marcone Corrêa Pereira; Ricardo P SilvaSão Carlos ICMC-USP 2010Localização: ICMC - Inst. Ciên. Mat. Computação (NOTAS SMA N813 n.340 e.1 ) e outros locais(Acessar) |
16 |
Material Type: Dissertação de Mestrado
|
![]() |
Analise e implementacao de uma ferramenta para a solucao numerica de equacoes algebrico- diferenciais com singularidades.Renato Cesar da Silva Antonio CasteloSao Carlos Icmsc 1996Localização: ICMC - Inst. Ciên. Mat. Computação (T S586a e.1 )(Acessar) |
17 |
Material Type: Relatório Técnico
|
![]() |
Sistema baseado em conhecimento para diagnóstico de erros na apresentação da fim (fábrica integrada modelo)Solange Oliveira Rezende Chandler Wellington Caulkins; Rodrigo Motta e Silva; Valtemir de Alencar e SilvaSão Carlos ICMSC-USP 1997Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-946817 ) e outros locais(Acessar) |
18 |
Material Type: Livro
|
![]() |
Metodologia cientificaAmado Luiz Cervo Pedro Alcino Bervian; Roberto SilvaSão Paulo Prentice Hall 2006Localização: FE - Faculdade de Educação (001.42 C419m 6.ed. 2007 ) e outros locais(Acessar) |
19 |
Material Type: Artigo de Congresso
|
![]() |
Relational reinforcement learning applied to shared attentionRenato R. da Silva Claudio A Policastro; Roseli Aparecida Francelin Romero; International Joint Conference on Neural Networks - IJCNN (2009 Atlanta)Proceedings Piscataway : IEEE, 2009Piscataway IEEE 2009Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1766162 ) e outros locais(Acessar) |
20 |
Material Type: Tese de Doutorado
|
![]() |
Semicontinuidade inferior de atratores para problemas parabólicos em domínios finosSilva, Ricardo Parreira DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2007-10-30Acesso online. A biblioteca também possui exemplares impressos. |