Now showing items 1-9 of 9

ANAC : uma ferramenta para a automatização da análise da complexidade de algoritmos

Barbosa, Marco Antonio de Castro (2001)
Análise da complexidade computacional de problemas de estatística descritiva com entradas intervalares

Loreto, Aline Brum (2006)
Análise formal da complexidade de algoritmos genéticos

Aguiar, Marilton Sanchotene de (1998)
Definição e especificação formal do jogo diferencial Lobos e Cordeiro

Sulzbach, Sirlei Ines (2005)
Definição formal de tipos abstratos de dados através de um exemplo

Specialski, Elizabeth Sueli (1981)
Uma Ferramenta para auxiliar o professor no ensino a distância

Castro, Andréa Pereira de (2002)
Uma fundamentação teórica para a complexidade estrutural de problemas de otimização

Leal, Liara Aparecida dos Santos (2002)
Uma metodologia para computação com DNA

Isaia Filho, Eduardo (2004)
Uma Proposta de especificação formal e fundamentação teórica para simulated annealing

Izquierdo, Vaneci Brusch (2000)

Now showing items 1-9 of 9

Browse

All of Repository
This Collection
- Issue Date
- Author
- Title
- Subject
- Type

INSTRUCTIONS FOR AUTHORS

The author is the owner of the copyrights of the documents available in this repository and is prohibited under the law, the marketing of any kind without prior authorization.
Graphic design by Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.