Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Outros
|
Procedia Computer ScienceCristina Gomes Fernandes 1966- Sergio Rajsbaum; Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS (12. 2023 Huatulco, Mexico)v. 223, p. 1-408, 2023Amsterdam 2023Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Artigo
|
This volume contains the papers presented at LAGOS 2023, the XII Latin-American Algorithms, Graphs and Optimization Symposium. [Prefácio]Cristina Gomes Fernandes 1966- Sergio Rajsbaum; Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS (12. 2023 Huatulco, Mexico)Procedia Computer Science Amsterdam v. 223, p. 1-4, 2023Amsterdam 2023Localização: IME - Inst. Matemática e Estatística (PROD-3165984 )(Acessar) |
|
3 |
Material Type: Artigo
|
Complexity and approximability of minimum path-collection exact coversSantiago Valdés Ravelo Cristina Gomes Fernandes 1966-Theoretical Computer Science Amsterdam v. 942, p. 21-32, 2023Amsterdam 2023Localização: IME - Inst. Matemática e Estatística (PROD-3128774 )(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
Specifying preferences over policies using branching time temporal logicWarlles Carlos Costa Machado Viviane Bonadia dos Santos; Leliane Nunes de Barros; Maria Viviane de Menezes; Brazilian Conference on Intelligent Systems - (BRACIS) (12. 2023 Belo Horizonte, MG)Proceedings Cham : Springer, 2023Cham Springer 2023Localização: IME - Inst. Matemática e Estatística (PROD-3158835 )(Acessar) |
|
5 |
Material Type: Livro
|
Guided clustering for selecting representatives samples in chemical databasesFelipe V Calderan João Paulo A. de Mendonça; Juarez Lopes Ferreira da Silva; Marcos Gonçalves QuilesGervasi, O., Murgante, B., Rocha, A. C.R., Garau, C. Scorza, F., Karaca, Y., Torre, C.M., eds. Computational Science and Its Applications. ICCSA 2023. Lecture Notes in Computer Science Cham : Springer, 2023Cham 2023Localização: IQSC - Inst. Química de São Carlos (P20637 )(Acessar) |
|
6 |
Material Type: Artigo
|
A systematic mapping of the classification of open educational resources for computer science education in digital sourcesWilliam Simão de Deus Ellen Francine BarbosaIEEE Transactions on Education Piscataway : IEEE v. 65, n. 3, p. 450-460, 2022Piscataway 2022Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3053263 )(Acessar) |
|
7 |
Material Type: Livro
|
Proceedings of the 11th International Conference on Health Information Science - HISAgma Juci Machado Traina Hua Wang; Yong Zhang; Siuly Siuly; Rui Zhou; Lu Chen; International Conference on Health Information Science - HIS (11. 2022 Virtual Event)Cham Springer 2022Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3109830 )(Acessar) |
|
8 |
Material Type: Livro
|
The International Conference Series on Health Information Science (HIS) provides... [Prefácio]Agma Juci Machado Traina Hua Wang; Yong Zhang; Siuly Siuly; Rui Zhou; Lu Chen; International Conference on Health Information Science - HIS (11. 2022 Virtual Event)Traina, Agma Juci Machado; Wang, Hua; Zhang, Yong; Siuly, Siuly; Zhou, Rui; Chen, Lu; ed Proceedings of the 11th International Conference on Health Information Science - HIS Cham : Springer, 2022 326 pCham Springer 2022Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3109847 )(Acessar) |
|
9 |
Material Type: Dissertação de Mestrado
|
O uso de métodos computacionais em pesquisas de processo em psicoterapia: uma revisão sistemática de escopoPereira, Paulo Emanuel CenacchiBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Psicologia 2022-10-03Acesso online |
|
10 |
Material Type: Outros
|
Procedia Computer ScienceCarlos Eduardo Ferreira Orlando Lee; Flavio Keidi Miyazawa; Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS (11. 2021 São Paulo, Brasil)v. 195, p. 1-542, 2021Amsterdam 2021Acesso online. A biblioteca também possui exemplares impressos. |