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: 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) |
|
5 |
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) |
|
6 |
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) |
|
7 |
Material Type: Artigo de Congresso
|
Compression and entropyGeorges Hansel Dominique Perrin; Imre Simon 1943-2009; Annual Symposium on Theoretical Aspects of Computer Science - STACS (9. 1992 Cachan, France)Proceedings Berlin : Springer, 1992Berlin Springer 1992Localização: IME - Inst. Matemática e Estatística (PROD-834804 ) e outros locais(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
Memórias do WTA 2010 quarto workshop de tecnologia adaptativaRicardo Luis de Azevedo da Rocha 1960- Workshop de Tecnologia Adaptativa (4. 2010 São Paulo, Brasil)Workshop de Tecnologia Adaptativa São Paulo: s.n. , 2010São Paulo 2010Item não circula. Consulte sua biblioteca.(Acessar) |
|
9 |
Material Type: Artigo de Congresso
|
Achieving optimality for gate matrix layout and pla folding a graph theoretical approachAfonso Galvão Ferreira Siang Wun Song; Latin American Symposium on Theoretical Informatics - LATIN '92 (1992 São Paulo, BR)Proceedings Berlin : Springer, 1992Berlin Springer 1992Localização: IME - Inst. Matemática e Estatística (PROD-825028 ) e outros locais(Acessar) |
|
10 |
Material Type: Artigo
|
Modeling literal morphisms by shuffleZoltán Ésik Imre Simon 1943-2009Semigroup Forum Nova York v. 56, n. 2, p. 224-227, 1998Nova York 1998Localização: IME - Inst. Matemática e Estatística (PROD-1000780 )(Acessar) |