10 registros retornados

• Alberto Barbosa Raposo,  Adailton José Alves Da Cruz,  Alessandro de Lima Bicho,  Alfredo K. Kojima,  Carlos A. M. dos Santos,  Isla C. F. da Silva,  Léo Pini Magalhães,  Paulo C. P. de Andrade.  Ferramentas de Programação Livres para Computação Gráfica e Animação por Computador.  7 - 42 Buscar na Web Processando consulta.

• Arnaldo de Albuquerque Araújo,  Silvio Jamil Ferzoli Guimarães.  Recuperação de Informação Visual com Base no Conteúdo em Imagens e Vídeos Digitais.  43 - 72 Buscar na Web Processando consulta.

• Liang Zhao.  Scene Segmentation by Oscillatory Correlation.  73 - 88 Buscar na Web Processando consulta.

• Maria Andréia F. Rodrigues.  Aplicações Gráficas em Medicina: Técnicas e Modelos Realistas de Deformação.  89 - 101 Buscar na Web Processando consulta.

• David Déharbe,  Anamaria Martins Moreira,  Leila Ribeiro,  Vanderlei Moraes Rodrigues.  Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes.  7 - 48 Buscar na Web Processando consulta.

• Paulo Borba,  Augusto Sampaio.  Paulo Borba, Augusto Sampaio: Basic Laws of ROOL: an object-oriented language.  49 - 68 Buscar na Web Processando consulta.

• Fernando Náufel do Amaral,  Edward Hermann Haeusler.  A logic-based approach for real-time object-oriented software development..  69 - 88 Buscar na Web Processando consulta.

• Patrícia D. L. Machado.  Formal testing from structured algebraic specifications: normalisationand the oracle problem.  89 - 108 Buscar na Web Processando consulta.

• Aline Brum Loreto,  Laira Vieira Toscani,  Leila Ribeiro.  Complexity analysis of reactive graph grammars.  109 - 128 Buscar na Web Processando consulta.

• Vanderlei Moraes Rodrigues,  Dominique Borrione,  Philippe Georgelin.  Using the ACL2 Theorem Prover to Reason about VHDL Components.  129 - 148 Buscar na Web Processando consulta.