skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Resultados de 1 a 10 de 106  para Produção Intelectual da USP

Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Sistemas De Informação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Structural testing for semaphore-based multithread programs

Felipe 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, 2008

Heidelberger Springer 2008

Acesso online. A biblioteca também possui exemplares impressos.

2
Material Type:
Tese de Doutorado
Adicionar ao Meu Espaço

Inglês Instrumental em cursos de graduação na área de ciência da computação: a formação profissional crítica

Nascimento, Laudo Natel Do

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2022-12-19

Acesso online

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Assessing the research and education quality of the top brazilian computer science graduate programs

Alberto H. F. Laender 1951- Carlos José Pereira de Lucena; José Carlos Maldonado; Edmundo de Souza e Silva; Nivio Ziviani

ACM Sigcse Bulletin v. 40, n. 2, p. 135-145, 2008

2008

Acesso online. A biblioteca também possui exemplares impressos.

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Assessing the research and education quality of the top brazilian computer science graduate programs

Alberto H. F. Laender 1951- Carlos José Pereira de Lucena; José Carlos Maldonado; Edmundo de Souza e Silva; Nivio Ziviani

ACM Sigcse Bulletin v. 40, n. 2, p. 135-145, 2008

2008

Acesso online. A biblioteca também possui exemplares impressos.

5
Checking sequence generation using state distinguishing subsequences
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Checking sequence generation using state distinguishing subsequences

Adenilso 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, 2009

Washington, DC IEEE Computer Science 2009

Acesso online. A biblioteca também possui exemplares impressos.

6
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Adapting a software product line engineering process for certifying safety critical embedded systems

Rosana 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, 2012

Berlin, Heidelberg Springer-Verlag 2012

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2311301 ) e outros locais(Acessar)

7
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

The link-offset-scale mechanism for improving the usability of touch screen displays on the web

Willian 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, 2011

Heidelberg Springer 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2211004 ) e outros locais(Acessar)

8
Material Type:
Livro
Adicionar ao Meu Espaço

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 : Springer

Heidelberg Springer 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2220867 ) e outros locais(Acessar)

9
Material Type:
Livro
Adicionar ao Meu Espaço

Testing software and systems

Alexandre Petrenko Adenilso da Silva Simão; José Carlos Maldonado; IFIP WG 6.1 International Conference - ICTSS (22. 2010 Natal)

Proceedings

Berlin Springer 2010

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2132657 ) e outros locais(Acessar)

10
Material Type:
Livro
Adicionar ao Meu Espaço

Formal methods foundations and applications

Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)

Proceedings Heidelberg : Springer

Heidelberg Springer 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2213638 ) e outros locais(Acessar)

Resultados de 1 a 10 de 106  para Produção Intelectual da USP

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (100)
  2. Recursos Online (19)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (100)
  2. Livros  (4)
  3. Produções Acadêmicas  (2)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2007  (3)
  2. 2007Até2009  (17)
  3. 2010Até2012  (21)
  4. 2013Até2016  (40)
  5. Após 2016  (25)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (102)
  2. Português  (4)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Simão, A
  2. Fortes, R
  3. Maldonado, J
  4. Alves, D
  5. Nakagawa, E

Buscando em bases de dados remotas. Favor aguardar.