Mostrando 1 - 7 resultados de 7 para a busca 'partial interactive computer programming', tempo de busca: 0,21s

1

Assuntos: ...Programming - Knowledge Representation...

Uma ferramenta para verificação interativa de programas vip.

Publicado em 1994
Dissertação

2

Assuntos: ...Programming - Knowledge Representation...

Uma ferramenta para verificação interativa de programas vip.

Publicado em 1994
Dissertação

3

... como a Compute Unified Device Architecture (CUDA), da NVIDIA. Com elas, estudou-se a solução na GPU de muitos...

An efficient GPU-based implementation of recursive linear filters and its application to realistic real-time re-synthesis for interactive virtual worlds

Publicado em 2009
Dissertação

5

Assuntos: ...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::COMPUTABILIDADE...

Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity

Tese