Mostrando 1 - 8 resultados de 8 para a busca 'parallel library logic programming', tempo de busca: 0,16s

2

3

Assuntos: ...CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::ALGEBRA::LOGICA MATEMATICA...

Simulação numérica tridimensional para escoamentos em reservatórios de petróleo heterogêneos

Publicado em 2012
Dissertação

4

... implementation of the parallel model is written in the C programming language, using the MPI library from...

Modelos de paralelização de aplicações científicas estruturadas em árvores: geração de estimativas iniciais utilizando algoritmo de subdivisão

Publicado em 2012
Dissertação

5

... em teorias em lógica de primeira ordem e na construção incremental de especificações baseada em bibliotecas....

Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos

Publicado em 1995
Tese