Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Hitting all longest cycles in a graphCristina 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, 2017São Paulo Sociedade Brasileira de Computação 2017Localização: IME - Inst. Matemática e Estatística (PROD-2855237 )(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Número de Ramsey relativo a arestas de potências de caminhosDennis 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, 2017São Paulo Sociedade Brasileira de Computação 2017Localização: IME - Inst. Matemática e Estatística (PROD-2855129 )(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
Uma ferramenta para ensinar Introdução à Teoria da ComputaçãoCandido 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, 2016Porto Alegre, RS Sociedade Brasileira de Computação 2016Acesso online |
|
4 |
Material Type: Relatório Técnico
|
Arguments in favor of a controlled plurality of office formating standardsFlávio Soares Corrêa da SilvaSão Paulo IME-USP 2007Localização: IME - Inst. Matemática e Estatística (RT-MAC 2007 v.7 ) e outros locais(Acessar) |
|
5 |
Material Type: Artigo de Congresso
|
Sequence comparison some theory and some practiceImre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1987 Saint-Pierre d'Oléron)Proceedings Berlin : Springer, 1989Berlin Springer 1989Localização: IME - Inst. Matemática e Estatística (S L471c v.377 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Short proof of the factorization forest theoremImre Simon 1943-2009Nivat, M; Podelski, A, Eds Amsterdam : Elsevier Science, 1992 Tree Automata and LanguagesAmsterdam Elsevier Science 1992Localização: IME - Inst. Matemática e Estatística (PROD-834805 ) e outros locais(Acessar) |
|
7 |
Material Type: Relatório Técnico
|
A hierarchy for the recognizable M-subsetsNami KobayashiSão Paulo IME-USP 1997Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1997 v.15 e.1 ) e outros locais(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
O uso do MERLOT por alunos de teoria da computação para a criação de materiais de ensino-aprendizagemCarolina 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, 2011Porto Alegre SBC 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2196118 )(Acessar) |
|
9 |
Material Type: Artigo de Congresso
|
Star owners um modelo construtivista de desenvolvimento de Serious Games para jogo de ensino de Teoria da ComputaçãoMatheus 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, 2023Porto alegre SBC 2023Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3190472 )(Acessar) |
|
10 |
Material Type: Dissertação de Mestrado
|
Sistemas interativos de prova clássicos e quânticosCardonha, Carlos HenriqueBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2006-09-11Acesso online. A biblioteca também possui exemplares impressos. |