Contribuições do usuário
De Wiki DAINF
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
- 15h01min de 23 de maio de 2011 (dif | hist) Projeto Integrado do Primeiro Período do Bacharelado em Sistemas de Informação
- 09h50min de 4 de maio de 2011 (dif | hist) Metodologias Ágeis para o Desenvolvimento de Software (→Bibliografia Básica)
- 09h46min de 4 de maio de 2011 (dif | hist) Metodologias Ágeis para o Desenvolvimento de Software (→Bibliografia Básica)
- 09h45min de 4 de maio de 2011 (dif | hist) Metodologias Ágeis para o Desenvolvimento de Software (→Bibliografia Básica)
- 09h43min de 4 de maio de 2011 (dif | hist) Metodologias Ágeis para o Desenvolvimento de Software (→Bibliografia Básica)
- 09h41min de 4 de maio de 2011 (dif | hist) Metodologias Ágeis para o Desenvolvimento de Software (→Bibliografia Básica)
- 09h41min de 4 de maio de 2011 (dif | hist) Metodologias Ágeis para o Desenvolvimento de Software (→Bibliografia Básica)
- 09h38min de 4 de maio de 2011 (dif | hist) Metodologias Ágeis para o Desenvolvimento de Software (→Bibliografia Básica)
- 09h36min de 4 de maio de 2011 (dif | hist) m Metodologias Ágeis para o Desenvolvimento de Software (→Bibliografia Básica)
- 09h35min de 4 de maio de 2011 (dif | hist) Metodologias Ágeis para o Desenvolvimento de Software (→Ementa)
- 09h33min de 4 de maio de 2011 (dif | hist) Metodologias Ágeis para o Desenvolvimento de Software (→Ementa)
- 15h07min de 15 de abril de 2011 (dif | hist) Disciplinas de Lógica no Brasil e no Mundo
- 15h01min de 15 de abril de 2011 (dif | hist) Disciplinas de Lógica no Brasil e no Mundo (→Em português)
- 14h59min de 15 de abril de 2011 (dif | hist) Lógica para Computação - Outros materiais (→Links Diversos)
- 14h58min de 15 de abril de 2011 (dif | hist) Lógica para Computação - Outros materiais (→Links Diversos)
- 09h09min de 7 de abril de 2011 (dif | hist) Fontes de Pesquisa (→Ebooks)
- 09h09min de 7 de abril de 2011 (dif | hist) m Fontes de Pesquisa (→Ebooks)
- 09h06min de 7 de abril de 2011 (dif | hist) Fontes de Pesquisa
- 18h08min de 1 de abril de 2011 (dif | hist) WDTP - Wagner Dias Tableau Prover
- 17h28min de 22 de março de 2011 (dif | hist) Página principal (→Wiki Pública do Departamento Acadêmico de Informática - UTFPR, Curitiba)
- 09h52min de 10 de março de 2011 (dif | hist) Fontes de Pesquisa (→Normas para Publicação)
- 09h51min de 10 de março de 2011 (dif | hist) Fontes de Pesquisa (→Complementares 2)
- 09h48min de 10 de março de 2011 (dif | hist) Fontes de Pesquisa (→Complementares 1)
- 09h47min de 10 de março de 2011 (dif | hist) Fontes de Pesquisa (→Principais para a área de Computação)
- 13h53min de 24 de fevereiro de 2011 (dif | hist) Lógica para Computação - Bibliografia Complementar (→Livros sobre Especificação Formal)
- 13h53min de 24 de fevereiro de 2011 (dif | hist) Lógica para Computação - Bibliografia Complementar (→Livros sobre Especificação Formal)
- 16h12min de 22 de fevereiro de 2011 (dif | hist) Referências sobre Ensino-Aprendizagem (→Autores)
- 16h11min de 22 de fevereiro de 2011 (dif | hist) Referências sobre Ensino-Aprendizagem
- 16h00min de 22 de fevereiro de 2011 (dif | hist) Referências sobre Ensino-Aprendizagem (→Stephen Kanitz)
- 16h00min de 22 de fevereiro de 2011 (dif | hist) Referências sobre Ensino-Aprendizagem (→Stephen Kanitz)
- 15h58min de 22 de fevereiro de 2011 (dif | hist) Referências sobre Ensino-Aprendizagem
- 13h56min de 21 de fevereiro de 2011 (dif | hist) Iniciação Científica (→Tabela (em construção)) (revisão atual)
- 09h17min de 17 de fevereiro de 2011 (dif | hist) Página principal (→Wiki Pública do Departamento Acadêmico de Informática - UTFPR, Curitiba)
- 09h31min de 16 de fevereiro de 2011 (dif | hist) Lógica para Computação - Bibliografia Complementar (→Livros sobre História da Lógica)
- 09h29min de 16 de fevereiro de 2011 (dif | hist) Lógica para Computação - Bibliografia Complementar (→Livros sobre História da Lógica)
- 09h13min de 16 de fevereiro de 2011 (dif | hist) Lógica para Computação - Bibliografia Complementar (→Livros sobre História da Lógica)
- 09h10min de 16 de fevereiro de 2011 (dif | hist) Lógica para Computação - Bibliografia Complementar (→Livros sobre História da Lógica)
- 09h07min de 16 de fevereiro de 2011 (dif | hist) Lógica para Computação - Bibliografia Complementar (→Livros sobre História da Lógica)
- 09h07min de 16 de fevereiro de 2011 (dif | hist) Lógica para Computação - Bibliografia Complementar (→Livros sobre História da Lógica)
- 08h23min de 16 de fevereiro de 2011 (dif | hist) Lógica para Computação - Bibliografia Complementar (→Livros sobre História da Lógica)
- 08h19min de 16 de fevereiro de 2011 (dif | hist) Lógica para Computação - Bibliografia Complementar (→Livros sobre História da Lógica)
- 08h19min de 16 de fevereiro de 2011 (dif | hist) Lógica para Computação - Bibliografia Complementar (→Livros sobre História da Lógica)
- 08h16min de 16 de fevereiro de 2011 (dif | hist) Lógica para Computação - Bibliografia Complementar (→Livros sobre História da Lógica)
- 08h11min de 16 de fevereiro de 2011 (dif | hist) Lógica para Computação - Bibliografia Complementar (→Livros sobre Especificação Formal)
- 13h19min de 14 de fevereiro de 2011 (dif | hist) Departamento de Informática (revisão atual)
- 10h15min de 11 de fevereiro de 2011 (dif | hist) KEMS - Provador de Teoremas Multi-Estratégia (revisão atual)
- 14h16min de 2 de fevereiro de 2011 (dif | hist) Fontes de Pesquisa (→Sites auxiliares)
- 14h16min de 2 de fevereiro de 2011 (dif | hist) Fontes de Pesquisa (→Sites auxiliares)
- 16h59min de 16 de dezembro de 2010 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
- 19h42min de 15 de dezembro de 2010 (dif | hist) Dados de aprovacao e reprovacao em Logica para Computacao
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
