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 152  para Produção Intelectual da USP

Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Bringing AGM to computer science

Renata Wassermann Márcio Moretto Ribeiro

South American Journal of Logic Campinas v. 1, n. 2, p. 447-459, 2015

Campinas 2015

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

2
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.

3
Material Type:
Outros
Adicionar ao Meu Espaço

Procedia Computer Science

Carlos 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, 2021

Amsterdam 2021

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

4
Material Type:
Outros
Adicionar ao Meu Espaço

Procedia Computer Science

Cristina Gomes Fernandes 1966- Sergio Rajsbaum; Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS (12. 2023 Huatulco, Mexico)

v. 223, p. 1-408, 2023

Amsterdam 2023

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

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

Belief revision and computer science

Renata 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), 2012

Grimstad Centre for Artificial Intelligence Research CAIR 2012

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

6
Material Type:
Outros
Adicionar ao Meu Espaço

Electronic Notes in Theoretical Computer Science

Gabriel Coutinho Yoshiharu Kohayakawa; Vinicius dos Santos; Sebastião Urrutia

v. 346, p. 1-758, 2020

Amsterdam Elsevier 2020

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

7
Material Type:
Outros
Adicionar ao Meu Espaço

Electronic Notes in Theoretical Computer Science

Maribel Fernández Marcelo Finger

Amsterdam Elsevier 2014

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

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Trend analysis of the brazilian scientific production in Computer Science

Caio Cesar Trucolo Luciano Antonio Digiampietri

Revista de Sistemas de Informação da FSMA Macaé n. 14, p. 2-10, jul./dez. 2014

Macaé 2014

Acesso online

9
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.

10
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.

Resultados de 1 a 10 de 152  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 (102)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
  1. Antes de2006  (12)
  2. 2006Até2009  (71)
  3. 2010Até2013  (37)
  4. 2014Até2018  (19)
  5. Após 2018  (13)
  6. Mais opções open sub menu

Idioma 

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

Buscando em bases de dados remotas. Favor aguardar.