Contribuições do usuário
De Wiki DAINF
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
- 17h16min de 10 de novembro de 2009 (dif | hist) Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (→Tarefas em Andamento)
- 17h16min de 10 de novembro de 2009 (dif | hist) Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia (→Tarefas em Andamento)
- 17h13min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→Roteiro)
- 16h41min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→Como descobrir a configuração da máquina usada para testes no Linux)
- 16h24min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→TODO: Como elaborar sequencias de testes)
- 16h23min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→Quantas vezes rodar cada caso)
- 16h23min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→Roteiro)
- 16h22min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→Memória)
- 16h22min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→= Sistema Operacional)
- 16h21min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→Como descobrir a configuração da máquina usada para testes no Linux)
- 16h18min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→Como descobrir a configuração da máquina usada para testes no Linux)
- 16h18min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→CPU)
- 16h18min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→Memória)
- 16h17min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→CPU)
- 16h16min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→CPU)
- 16h15min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→CPU)
- 16h15min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→Configuração)
- 16h09min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→Roteiro)
- 16h08min de 10 de novembro de 2009 (dif | hist) Testes do KEMS em Lote (→Roteiro)
- 16h08min de 10 de novembro de 2009 (dif | hist) N Testes do KEMS em Lote (Nova página: = Configuração = * Máquina: xue.dainf.ct.utfpr.edu.br * Servidor git = Roteiro = * Editar arquivo de sequencia <arquivo.seq>. * Executar da seguinte forma: java -jar kems.jar ...)
- 15h56min de 10 de novembro de 2009 (dif | hist) GIT (→Para baixar o ramo experimental do KEMS)
- 13h45min de 10 de novembro de 2009 (dif | hist) GIT (→Para baixar o ramo experimental do KEMS)
- 22h16min de 6 de novembro de 2009 (dif | hist) Participação da equipe "sudo make a sandwich" na Final Brasileira da Maratona de Programação 2009 (→Classificação) (revisão atual)
- 22h13min de 6 de novembro de 2009 (dif | hist) Participação da equipe "sudo make a sandwich" na Final Brasileira da Maratona de Programação 2009
- 22h12min de 6 de novembro de 2009 (dif | hist) Participação da equipe "sudo make a sandwich" na Final Brasileira da Maratona de Programação 2009
- 22h11min de 6 de novembro de 2009 (dif | hist) Maratona de Programação - Seletiva Regional 2009 (→Resultados) (revisão atual)
- 15h16min de 5 de novembro de 2009 (dif | hist) Lógica para Computação (→Programação em Lógica)
- 15h14min de 5 de novembro de 2009 (dif | hist) Lógica para Computação (→Programação em Lógica)
- 14h48min de 5 de novembro de 2009 (dif | hist) Matemática Discreta (→Diversos)
- 14h46min de 5 de novembro de 2009 (dif | hist) Matemática Discreta (→Links para oferecimentos da disciplina em outras universidades)
- 12h09min de 5 de novembro de 2009 (dif | hist) Lógica para Computação (→Programação em Lógica)
- 15h17min de 4 de novembro de 2009 (dif | hist) Matemática Discreta (→Páginas na Internet)
- 10h09min de 4 de novembro de 2009 (dif | hist) Matemática Discreta (→Páginas na Internet)
- 17h01min de 3 de novembro de 2009 (dif | hist) Matemática Discreta (→Links para oferecimentos da disciplina em outras universidades)
- 17h00min de 3 de novembro de 2009 (dif | hist) Matemática Discreta (→Algoritmo de Busca de Articulação)
- 16h41min de 3 de novembro de 2009 (dif | hist) Matemática Discreta (→Algoritmo de Busca de Articulação)
- 16h40min de 3 de novembro de 2009 (dif | hist) m Matemática Discreta (→Páginas na Internet)
- 16h21min de 3 de novembro de 2009 (dif | hist) Matemática Discreta (→Links para oferecimentos da disciplina em outras universidades)
- 16h20min de 3 de novembro de 2009 (dif | hist) Matemática Discreta (→Páginas na Internet)
- 16h17min de 3 de novembro de 2009 (dif | hist) Matemática Discreta (→Materiais Complementares)
- 14h09min de 29 de outubro de 2009 (dif | hist) Matemática Discreta (→Percurso em Grafos)
- 13h56min de 29 de outubro de 2009 (dif | hist) Matemática Discreta (→Materiais Complementares)
- 11h32min de 29 de outubro de 2009 (dif | hist) Matemática Discreta (→Percurso em Grafos)
- 11h32min de 29 de outubro de 2009 (dif | hist) Matemática Discreta (→Percurso em Grafos)
- 11h30min de 29 de outubro de 2009 (dif | hist) Matemática Discreta (→Professores Responsáveis)
- 11h28min de 29 de outubro de 2009 (dif | hist) Matemática Discreta (→Materiais Complementares)
- 11h27min de 29 de outubro de 2009 (dif | hist) Matemática Discreta (→Animações de Algoritmos)
- 11h24min de 29 de outubro de 2009 (dif | hist) Matemática Discreta - Turma S71 - 2009.2 (→Animações de Algoritmos) (revisão atual)
- 11h24min de 29 de outubro de 2009 (dif | hist) Matemática Discreta (→Materiais Complementares)
- 11h14min de 29 de outubro de 2009 (dif | hist) Disciplinas
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
