Ciências de Computação e Matemática Computacional
Resultado: Exibindo 10 de 2050 na pagina 183 de 205
Nome
Título
Área
Documento
Unidade
Ano
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise...
ProSA-RAT: Um processo para estabelecimento de arquiteturas de referência com informações...
Definição de Mecanismos para Avaliação de Qualidade de Produtos de Software
Novos métodos incrementais para otimização convexa não-diferenciável em dois níveis...
Aspectos semânticos na representação de textos para classificação automática
Identificação de regras de associação interessantes por meio de análises com medidas...
MODELAGEM POR SEMI-ESPAÇOS DEFINIDOS IMPLICITAMENTE
Métodos de simulação Monte Carlo para aproximação de estratégias de hedging idea...
Análise e implementação de modelos não newtonianos no sistema FreeFlow-2D
Sistema de Videoconferência em Redes de Computadores
Resultado: Exibindo 10 de 2050 na pagina 183 de 205