Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRevista de Informática Teórica e Aplicada - RITA, Volume 7
Volume 7, Number 1, September 2000
- 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. RITA 7(1): 7-48 (2000) - Paulo Borba, Augusto Sampaio:
Basic Laws of ROOL: an object-oriented language. RITA 7(1): 49-68 (2000) - Fernando Náufel do Amaral, Edward Hermann Haeusler:
A logic-based approach for real-time object-oriented software development. RITA 7(1): 69-88 (2000) - Patrícia D. L. Machado:
Formal testing from structured algebraic specifications: normalisationand the oracle problem. RITA 7(1): 89-108 (2000) - Aline Brum Loreto, Laira Vieira Toscani, Leila Ribeiro:
Complexity analysis of reactive graph grammars. RITA 7(1): 109-128 (2000) - Vanderlei Moraes Rodrigues, Dominique Borrione, Philippe Georgelin:
Using the ACL2 Theorem Prover to Reason about VHDL Components. RITA 7(1): 129-148 (2000)
Volume 7, Number 2, December 2000
- 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. RITA 7(2): 7-42 (2000) - 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. RITA 7(2): 43-72 (2000) - Liang Zhao:
Scene Segmentation by Oscillatory Correlation. RITA 7(2): 73-88 (2000) - Maria Andréia F. Rodrigues:
Aplicações Gráficas em Medicina: Técnicas e Modelos Realistas de Deformação. RITA 7(2): 89-101 (2000)
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
