Mostrando
1 - 8
resultados de
8
para a busca '
A. Sernadas
'
Pular para o conteúdo
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
A. Sernadas
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 8
resultados de
8
para a busca '
A. Sernadas
'
, tempo de busca: 0,02s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Intervenção de terceiros, litisconsórcio e coligação
por
Sernadas
, Ana Alexandra Troncho
Publicado em 2019
Acessar documento
Dissertação
2
Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems
por
Luís Cruz-Filipe
Publicado em 2008
Outros Autores:
“
...A.
Sernadas
...
”
Acessar documento
Artigo
3
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
por
Luís Cruz-Filipe
Publicado em 2008
Outros Autores:
“
...A.
Sernadas
...
”
Acessar documento
Artigo
4
Cálculo de actividades e transacções
por
Costa, José Félix Gomes da
Publicado em 1993
Outros Autores:
“
...
Sernadas
, Amílcar dos Santos Costa...
”
Acessar documento
Artigo
5
Reasoning about probabilistic sequential programs
por
Luís Cruz-Filipe
Publicado em 2007
Outros Autores:
“
...A.
Sernadas
...
”
Acessar documento
Artigo
6
Refinement in a concurrent, object-based language
por
Menezes, Paulo Fernando Blauth
Publicado em 1996
Outros Autores:
“
...
Sernadas
, Amilcar dos Santos Costa...
”
Acessar documento
Relatório
7
Nonsequential automata semantics for a concurrent object-based language
por
Menezes, Paulo Fernando Blauth
Publicado em 1995
Outros Autores:
“
...
Sernadas
, Amilcar dos Santos Costa...
”
Acessar documento
Relatório
8
Refinement mapping for general (discrete event) systems theory
por
Menezes, Paulo Fernando Blauth
Publicado em 1994
Outros Autores:
“
...
Sernadas
, Amilcar dos Santos Costa...
”
Acessar documento
Relatório
Exportar CSV
Exportar RIS
Carregando...