Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
2 |
Material Type: Artigo de Congresso
|
Relato de experiência sobre o uso da computação desplugada associada a uma teoria de aprendizagem colaborativaRachel C. D Reis (Rachel Carlos Duque Reis) Kamila T Lyra (Kamila Takayama Lyra); Clausius D. G Reis (Clausius Duque Gonçalves Reis); Seiji Isotani; Congresso Brasileiro de Informática na Educação - CBIE (7. 2018 Fortaleza, CE); Workshop de Informática na Escola - WIE (24. 2018 Fortaleza, CE)Anais Porto Alegre, RS : SBC, 2018Porto Alegre, RS Sociedade Brasileira de Computação – SBC 2018Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2913493 )(Acessar) |
|
3 |
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) |
|
4 |
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) |
|
5 |
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) |
|
6 |
Material Type: Artigo de Congresso
|
Minimum density of identifying codes of hexagonal grids with a finite number of rowsRudini Menezes Sampaio Gabriel A. G Sobral; Yoshiko Wakabayashi Congresso da Sociedade Brasileira de Computação - CSBC 2022 Niterói, Rio de Janeiro); Encontro de Teoria da Computação - ETC (7 2022 Niterói, Rio de Janeiro)Anais Porto Alegre : SBC, 2022 2763-8820Porto Alegre Sociedade Brasileira de Computação 2022Localização: IME - Inst. Matemática e Estatística (PROD-3106988 )(Acessar) |
|
7 |
Material Type: Artigo de Congresso
|
Metodo eficiente para computacao da cinematica inversa de manipuladores de cadeia aberta utilizando impedance controlEduardo Lobo Lustosa Cabral 1959- Ricardo Matone; Flávio Almeida de Magalhães Cipparrone 1967-; Congresso Brasileiro de Engenharia Mecanica (11. 1991 São Paulo)v.13 s.b, n.esp., p.513-6, 1991 Revista Brasileira de Ciencias Mecanicas1991Item não circula. Consulte sua biblioteca.(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
Novo teste de redução para o problema da árvore de Steiner com coleta de prêmiosGabriel Morete de Azevedo Carlos Eduardo Ferreira; Congresso da Sociedade Brasileira de Computação - CSBC (41. 2021 Florianópolis); Encontro de Teoria da Computação - ETC (6. 2021 Florianópolis)Anais Porto Alegre : SBC, 2021Porto Alegre SBC 2021Localização: IME - Inst. Matemática e Estatística (PROD-3057300 )(Acessar) |
|
9 |
Material Type: Artigo de Congresso
|
Hiperdocumentos estruturados na WWW teoria e práticaMaria da Graça Campos Pimentel Cesar Augusto Camillo Teixeira; Cláudio da Costa Pinto; Congresso Nacional da Sociedade Brasileira de Computação (19. 1999 Rio de Janeiro)Anais Rio de Janeiro :EntreLugar, 1999Rio de Janeiro EntreLugar 1999Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1048611 ) e outros locais(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
On Tuza's conjecture for graphs with treewidth at most 6Fábio Happ Botler Cristina Gomes Fernandes 1966-; Juan Gutiérrez; Congresso da Sociedade Brasileira de Computação - CSBC (38. 2018 Natal, RN); Encontro de Teoria da Computação - ETC (3. 2018 Natal, RN)Anais Porto Alegre : Sociedade Brasileira de Computação, 2018Porto Alegre Sociedade Brasileira de Computação 2018Acesso online. A biblioteca também possui exemplares impressos. |