Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
![]() |
Teoria de homotopia simples e torção de WhiteheadSilva, Luciana ValeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2007-04-26Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Dissertação de Mestrado
|
![]() |
Algoritmos geométricos discretos: complexidade e aplicaçõesSilva, LucianoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1998-09-25Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
This volume contains the papers presented at SBMF 2010... [Prefácio]Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)Proceedings Heidelberg : SpringerHeidelberg Springer 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2220867 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Formal methods foundations and applicationsJim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)Proceedings Heidelberg : SpringerHeidelberg Springer 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2213638 ) e outros locais(Acessar) |
5 |
Material Type: Dissertação de Mestrado
|
![]() |
Grafos, coloração, polinômios cromáticos e jogos no processo de ensino aprendizagem da enumeração e da contagemSilva, Lenilson Dos ReisBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2018-04-05Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Dissertação de Mestrado
|
![]() |
Caracterização de carga de trabalho para testes de modelos de servidores webSilva, Luis Henrique Castilho DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2006-08-11Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Livro
|
![]() |
Uma proposta para a representação geométrica de imagens com aplicação em segmentação e compressãoLuciano Silva da Silva Jacob ScharcanskiPorto Alegre UFRGS 2005Localização: ICMC - Inst. Ciên. Mat. Computação (T S586pg e.1 )(Acessar) |
8 |
Material Type: Livro
|
![]() |
Primitivas para suporte à distribuição de objetos direcionadas à Pervasive ComputingLuciano Cavalheiro da Silva Cláudio Fernando Resin GeyerPorto Alegre UFRGS 2003Localização: ICMC - Inst. Ciên. Mat. Computação (T S586do e.1 )(Acessar) |
9 |
Material Type: Artigo
|
![]() |
Baroreflex-mediated sympathetic overactivation induced by mental stress in post-traumatic stress disorder depends on the type of stressor [Carta]Luiz Eduardo Virgilio da Silva Pedro Lourenço KatayamaJournal of Physiology London : Wiley-Blackwell Publishing v. 595, n. 17, p. 5757-5758, Sep. 2017London 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2891753 )(Acessar) |
10 |
Material Type: Tese de Doutorado
|
![]() |
Superfícies regradas associadas a uma curvaLuiz Oswaldo Teixeira da Silva José da Rocha Lagôa1952Localização: ICMC - Inst. Ciên. Mat. Computação (T S586s e.1 ) e outros locais(Acessar) |