1 - 10 de 106 para null
Ordenado por:
Ordenado por:
Mais acessadosOr hit Enter to replace sort method
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Disponível na Biblioteca (100)
- Recursos Online (19)
Refinado por:
assunto:
Sistemas De Informação
| 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: Tese de Doutorado
|
|
Inglês Instrumental em cursos de graduação na área de ciência da computação: a formação profissional críticaNascimento, Laudo Natel DoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2022-12-19Acesso online |
| 3 |
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. |
| 4 |
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. |
| 5 |
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. |
| 6 |
Material Type: Artigo de Congresso
|
|
Adapting a software product line engineering process for certifying safety critical embedded systemsRosana Teresinha Vaccare Braga Onofre Trindade Junior; Kalinka Regina Lucas Jaquie Castelo Branco; Luciano de Oliveira Neris; Jaejoon Lee; International Conference on Computer Safety, Reliability and Security (31. 2012 Magdeburg, Germany)Lecture Notes in Computer Science Berlin : Springer-Verlag v. 7612, p. 352-363, 2012Berlin, Heidelberg Springer-Verlag 2012Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2311301 ) e outros locais(Acessar) |
| 7 |
Material Type: Artigo de Congresso
|
|
The link-offset-scale mechanism for improving the usability of touch screen displays on the webWillian Massami Watanabe Renata Pontin de Mattos Fortes; Maria da Graça Campos Pimentel; IFIP TC International Conference on Human-Computer Interaction - INTERACT (13. 2011 Lisbon)Lecture Notes in Computer Science Heidelberg : Springer v. 6948, p. 356-372, 2011Heidelberg Springer 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2211004 ) e outros locais(Acessar) |
| 8 |
Material Type: Artigo de Congresso
|
|
Generating checking sequences for partial finite state machinesAdenilso da Silva Simão Alexandre Petrenko; International Conference, TestCom 2008 - IFIP TC6/WG 6.1 (20 2008 Tokyo)Lecture Notes in Computer Science Berlin v. 5047, p. 153-168, 2008Berlin Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |
| 9 |
Material Type: Artigo de Congresso
|
|
An ontology engineering approach to gamify collaborative learning scenariosGeiser Chalco Challco Dilvan de Abreu Moreira; Riichiro Mizoguchi; Seiji Isotani; International Conference on Collaboration and Technology - CRIWG (20. 2014 Santiago)Proceedings Cham : Springer v. 8658, p. 193-206, 2014Cham Springer 2014Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2500240 ) e outros locais(Acessar) |
| 10 |
Material Type: Artigo de Congresso
|
|
Performing domain analysis for model-driven software reuseDaniel Lucrédio Renata Pontin de Mattos Fortes; Eduardo S. de Almeida; Silvio Lemos Meira; International Conference Logic for Programming, Artificial Intelligence, and Reasoning - LPAR (15 Doha 2008)Lecture Notes in Computer Science Doha v. 5030, p. 200-211, 2008Heidelberg Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |
1 - 10 de 106 para null
Ordenado por:
Ordenado por:
Mais acessadosOr hit Enter to replace sort method
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
- Disponível na Biblioteca (100)
- Recursos Online (19)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (100)
- Livros (4)
- Produções Acadêmicas (2)
-
Mais opções
Assunto
- Engenharia De Software (74)
- World Wide Web (21)
- Multimídia Interativa (17)
- Tuberculose (6)
- Saúde (6)
- Web Semântica (5)
- Ontologia (3)
- Sistemas Multimídia (3)
- Tecnologia Da Comunicação (Padrões) (2)
- Tecnologia Da Informação (Padrões) (2)
- Saúde Mental (2)
- Setor Público (2)
- Meningite (2)
- Interoperabilidade (2)
- Pesquisa (1)
- Medicina Baseada Em Evidências (1)
- Uml (1)
- Software Livre (1)
- Banco De Dados (1)
- Literacies (1)
-
Mais opções
Autor/Criador
- Simão, A (27)
- Fortes, R (22)
- Maldonado, J (14)
- Alves, D (13)
- Nakagawa, E (10)
- International Conference on Project MANagement - ProjMAN (9)
- Rijo, R (9)
- Petrenko, A (9)
- International Conference on ENTERprise Information Systems - CENTERIS (9)
- Souza, S (8)
- Oliveira, L (7)
- Lima, V (6)
- Souza, P (6)
- Bernardi, F (6)
- International Conference on Health and Social Care Information Systems and Technologies - HCist (6)
- Delamaro, M (5)
- Lucrédio, D (5)
- Silva, E (5)
- Crepaldi, N (5)
- Goularte, R (5)
-
Mais opções
Data de Publicação
- Antes de2007 (3)
- 2007Até2009 (17)
- 2010Até2012 (21)
- 2013Até2016 (40)
- Após 2016 (25)
-
Mais opções
Biblioteca
Idioma
- Inglês (102)
- Português (4)
-
Mais opções
Nome da Publicação
- Lecture Notes in Computer Science (22)
- Procedia computer science (22)
- Proceedings (17)
- Lecture Notes in Computer Sciences (7)
- Communications in Computer and Information Science (5)
- Science of Computer Programming (4)
- Journal of Universal Computer Science (3)
- The Computer Journal: Section A: Computer Science Theory, Methods and Tools (3)
- Lecture Notes in Computer Science (LNCS) (3)
- International Journal of Foundations of Computer Science (2)
- Social Science Computer Review (2)
- Eletronic Notes in Theoretical Computer Science (2)
- INFOCOMP: Journal of Computer Science (2)
- Computer Languages, Systems & Structures (2)
- ACM Sigcse Bulletin (2)
- Central European Journal of Computer Science (1)
- Cloud Computing - CLOUD 2019: Proceedings (1)
- Journal of Computer Science, (1)
- Computer Science Review (1)
- Electronic Proceedings in Theoretical Computer Science (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 