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