skip to main content
Idioma:

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

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Hitting all longest cycles in a graph
Hitting all longest cycles in a graph
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Hitting all longest cycles in a graph

Cristina Gomes Fernandes 1966- Juan Gutierrez; Congresso da Sociedade Brasileira de Computação - CSBC (37. 2017 São Paulo); Encontro de Teoria da Computação - ETC (2. 2017 São Paulo)

Anais São Paulo : Sociedade Brasileira de Computação, 2017

São Paulo Sociedade Brasileira de Computação 2017

Localização: IME - Inst. Matemática e Estatística    (PROD-2855237 )(Acessar)

2
Número de Ramsey relativo a arestas de potências de caminhos
Número de Ramsey relativo a arestas de potências de caminhos
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Número de Ramsey relativo a arestas de potências de caminhos

Dennis Clemens Matthew Jenssen; Yoshiharu Kohayakawa; Natasha Morrison; Guilherme Oliveira Mota; Damian Reding; Barnaby Roberts; Congresso da Sociedade Brasileira de Computação - CSBC (37. 2017 São Paulo); Encontro de Teoria da Computação - ETC (2. 2017 São Paulo)

Anais São Paulo : Sociedade Brasileira de Computação, 2017

São Paulo Sociedade Brasileira de Computação 2017

Localização: IME - Inst. Matemática e Estatística    (PROD-2855129 )(Acessar)

3
Uma ferramenta para ensinar Introdução à Teoria da Computação
Uma ferramenta para ensinar Introdução à Teoria da Computação
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Uma ferramenta para ensinar Introdução à Teoria da Computação

Candido Ferreira Xavier de Mendonça Neto Luciano Antonio Digiampietri; Congresso da Sociedade Brasileira de Computação (36. 2016 Porto Alegre, RS); Workshop sobre Educação em Computação (24. 2016 Porto Alegre, RS)

Anais Porto Alegre : Sociedade Brasileira de Computação, 2016

Porto Alegre, RS Sociedade Brasileira de Computação 2016

Acesso online

4
Arguments in favor of a controlled plurality of office formating standards
Arguments in favor of a controlled plurality of office formating standards
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Arguments in favor of a controlled plurality of office formating standards

Flávio Soares Corrêa da Silva

São Paulo IME-USP 2007

Localização: IME - Inst. Matemática e Estatística    (RT-MAC 2007 v.7 ) e outros locais(Acessar)

5
A hierarchy for the recognizable M-subsets
A hierarchy for the recognizable M-subsets
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A hierarchy for the recognizable M-subsets

Nami Kobayashi

São Paulo IME-USP 1997

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1997 v.15 e.1 ) e outros locais(Acessar)

6
Sequence comparison some theory and some practice
Sequence comparison some theory and some practice
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Sequence comparison some theory and some practice

Imre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1987 Saint-Pierre d'Oléron)

Proceedings Berlin : Springer, 1989

Berlin Springer 1989

Localização: IME - Inst. Matemática e Estatística    (S L471c v.377 ) e outros locais(Acessar)

7
Short proof of the factorization forest theorem
Short proof of the factorization forest theorem
Material Type:
Livro 		Adicionar ao Meu Espaço

Short proof of the factorization forest theorem

Imre Simon 1943-2009

Nivat, M; Podelski, A, Eds Amsterdam : Elsevier Science, 1992 Tree Automata and Languages

Amsterdam Elsevier Science 1992

Localização: IME - Inst. Matemática e Estatística    (PROD-834805 ) e outros locais(Acessar)

8
O uso do MERLOT por alunos de teoria da computação para a criação de materiais de ensino-aprendizagem
O uso do MERLOT por alunos de teoria da computação para a criação de materiais de ensino-aprendizagem
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

O uso do MERLOT por alunos de teoria da computação para a criação de materiais de ensino-aprendizagem

Carolina Evaristo Scarton Sandra Maria Aluísio; Congresso da Sociedade Brasileira de Computação - CSBC (31. 2011 Natal); Workshop sobre Educação em Computação - WEI (19. 2011 Natal)

Anais Porto Alegre : SBC, 2011

Porto Alegre SBC 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2196118 )(Acessar)

9
Star owners um modelo construtivista de desenvolvimento de Serious Games para jogo de ensino de Teoria da Computação
Star owners um modelo construtivista de desenvolvimento de Serious Games para jogo de ensino de Teoria da Computação
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Star owners um modelo construtivista de desenvolvimento de Serious Games para jogo de ensino de Teoria da Computação

Matheus dos Santos Luccas Kalinka Regina Lucas Jaquie Castelo Branco; Simpósio Brasileiro de Jogos e Entretenimento Digital - SBGames (22. 2023 Rio Grande)

Anais Porto Alegre : SBC, 2023

Porto alegre SBC 2023

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-3190472 )(Acessar)

10
Sistemas interativos de prova clássicos e quânticos
Sistemas interativos de prova clássicos e quânticos
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Sistemas interativos de prova clássicos e quânticos

Cardonha, Carlos Henrique

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2006-09-11

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

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

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Produções Acadêmicas  (684)
  2. Artigos  (115)
  3. Produções Técnicas  (18)
  4. Livros  (13)
  5. Audiovisuais  (13)
  6. Produções Artísticas  (3)
  7. Materiais Didáticos  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1984  (17)
  2. 1984Até1993  (51)
  3. 1994Até2003  (98)
  4. 2004Até2014  (293)
  5. Após 2014  (391)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.