Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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. |
2 |
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. |
3 |
Material Type: Outros
|
![]() |
Electronic Notes in Theoretical Computer ScienceMaribel Fernández Marcelo FingerAmsterdam Elsevier 2014Acesso online. A biblioteca também possui exemplares impressos. |
4 |
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 |
5 |
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. |
6 |
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. |
7 |
Material Type: Artigo de Congresso
|
![]() |
Checking sequence generation using state distinguishing subsequencesAdenilso da Silva Simão A Petrenko; IEEE International Conference on Software Testing, Verification, and Validation Workshops (2. (2009 Denver, Colorado - USA)Proceedings Washington : IEEE Computer Society, 2009Washington, DC IEEE Computer Science 2009Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Artigo de Congresso
|
![]() |
A tool for statistical analysis of navigational modelling for web site personalization and reengineeringFrancisco José Monaco Chen Xu Sheng; Maycon Leone Maciel Peixoto; Web Information Systems Engineering - WISE 2007 Workshops (2007: Nancy)Lecture Notes in Computer Science v. 4832, p. 386-394, 2007Berlim Springer 2007Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Artigo de Congresso
|
![]() |
Bioinspired parameter tuning of MLP networks for gene expression analysis quality of fitness estimates vs. number of solutions analysedAndré L. D. Rossi Carlos Soares; André Carlos Ponce de Leon Ferreira de Carvalho; International Conference - ICONIP 2008 (15. 2008 Auckland)Lecture Notes in Computer Science Heidelberg : Springer v. 5507, p. 252-259, 2009Heidelberg Springer 2009Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Artigo de Congresso
|
![]() |
A parallel hardware architecture for image feature detectionVanderlei Bonato Eduardo Marques; George A Constantinides 1975-; International Workshop on Applied Reconfigurable Computing (4 London 2008)Lecture Notes in Computer Science, v. 4943, p. 134-148, 2008Heidelberger Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |