Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Bringing AGM to computer scienceRenata Wassermann Márcio Moretto RibeiroSouth American Journal of Logic Campinas v. 1, n. 2, p. 447-459, 2015Campinas 2015Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Artigo de Congresso
|
Structural testing for semaphore-based multithread programsFelipe S. Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Conference in Computer Science (8. 2008 Krakow)Lecture Notes in Computer Science v. 5101, p. 337-346, 2008Heidelberger Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
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. |
|
4 |
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. |
|
5 |
Material Type: Artigo de Congresso
|
Belief revision and computer scienceRenata Wassermann European Conference on Artificial Intelligence - ECAI (20. 2012 Montpellier, France); Workshop on Belief change, Non-monotonic reasoning and Conflict Resolution (2012 Montpellier, France)Workshop notes Grimstad : Centre for Artificial Intelligence Research (CAIR), 2012Grimstad Centre for Artificial Intelligence Research CAIR 2012Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Outros
|
Electronic Notes in Theoretical Computer ScienceGabriel Coutinho Yoshiharu Kohayakawa; Vinicius dos Santos; Sebastião Urrutiav. 346, p. 1-758, 2020Amsterdam Elsevier 2020Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Outros
|
Electronic Notes in Theoretical Computer ScienceMaribel Fernández Marcelo FingerAmsterdam Elsevier 2014Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Artigo
|
Trend analysis of the brazilian scientific production in Computer ScienceCaio Cesar Trucolo Luciano Antonio DigiampietriRevista de Sistemas de Informação da FSMA Macaé n. 14, p. 2-10, jul./dez. 2014Macaé 2014Acesso online |
|
9 |
Material Type: Artigo
|
Assessing the research and education quality of the top brazilian computer science graduate programsAlberto H. F. Laender 1951- Carlos José Pereira de Lucena; José Carlos Maldonado; Edmundo de Souza e Silva; Nivio ZivianiACM Sigcse Bulletin v. 40, n. 2, p. 135-145, 20082008Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Artigo
|
Assessing the research and education quality of the top brazilian computer science graduate programsAlberto H. F. Laender 1951- Carlos José Pereira de Lucena; José Carlos Maldonado; Edmundo de Souza e Silva; Nivio ZivianiACM Sigcse Bulletin v. 40, n. 2, p. 135-145, 20082008Acesso online. A biblioteca também possui exemplares impressos. |