Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese de Doutorado
|
ChipCflow: tool for convert C code in a static dataflow architecture in reconfigurable hardwareSilva, Antonio Carlos Fernandes DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2015-02-19Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Tese de Doutorado
|
LOD: uma abordagem para desenvolvimento de objetos de aprendizagem multimídia e interativosSilva, Marco Aurélio GraciottoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2012-06-18Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Dissertação de Mestrado
|
Modelos preditivos para LGDSilva, João Flávio AndradeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Estatística Interinstitucional do ICMC e UFSCarr 2018-05-04Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Relatório Técnico
|
Manual de uso viewcvsSandra Regina Quadros Moraes da Silva João Carlos Vieira Ignácio Junior; Renata Pontin de Mattos FortesSão Carlos ICMC-USP 2004Localização: ICMC - Inst. Ciên. Mat. Computação (RT SCE n.245 S586m e.1 ) e outros locais(Acessar) |
|
5 |
Material Type: Relatório Técnico
|
Software product instrumentation descriptionAdenilso da Silva Simão Auri Marcelo Rizzo Vincenzi; José Carlos Maldonado; Antonio Carlos Lima SantanaSão Carlos ICMC-USP 2002Localização: ICMC - Inst. Ciên. Mat. Computação (RT SCE N.157 S588sp e.1 ) e outros locais(Acessar) |
|
6 |
Material Type: Relatório Técnico
|
Positive solutions of critical semilinear problems involving a sublinear at the originJoao Carlos N. de Pádua Elves Alves de B. e Silva; Sérgio Henrique Monari SoaresSão Carlos ICMC-USP 2004Localização: ICMC - Inst. Ciên. Mat. Computação (Notas SMA n.206 P125ps e.1 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Proceedings of the 22nd IFIP International Conference on Testing Software and Systems short papersAlexandre Petrenko Adenilso da Silva Simão; José Carlos MaldonadoPorto Alegre SBC 2010Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2138153 ) e outros locais(Acessar) |
|
8 |
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. |
|
9 |
Material Type: Artigo de Congresso
|
Sao paulo, metropole modernaJ M C Silva A L D Lanna; Simposio de Iniciacao Cientifica da Universidade de São Paulo (3. 1995 São Carlos)Sao Paulo : Usp, 1995 ResumosSao Paulo Usp 1995Localização: CEBIMAR - Centro de Biologia Marinha (CH753.2 13 3:1995 V. 2 ) e outros locais(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
MuDeL a language and a system for descibing and generating mutantsAdenilso da Silva Simão José Carlos Maldonado; Simposio Brasileiro de Engenharia de Software (15 2001 Rio de Janeiro)Anais Rio de Janeiro: UFRJ, 2001Rio de Janeiro UFRJ 2001Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1214530 ) e outros locais(Acessar) |