Mostrando
1 - 6
resultados de
6
para a busca '
Caires, Luís
'
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
Caires, Luís
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 6
resultados de
6
para a busca '
Caires, Luís
'
, tempo de busca: 0,04s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Spatial-behavioral types for concurrency and resource control in distributed systems
por
Caires
,
Luís
Publicado em 2008
Acessar documento
Artigo
2
Extensionality of Spatial Observations in Distributed Systems
por
Caires
,
Luís
Publicado em 2007
Acessar documento
Artigo
3
Elimination of quantifiers and undecidability in spatial logics for concurrency
por
Caires
,
Luís
Publicado em 2006
Acessar documento
Artigo
4
Refinement kinds: type-safe programming with practical type-level computation
por
Caires
,
Luís
Manuel Marques da Costa
Publicado em 2019
Acessar documento
Artigo
5
As práticas supervisivas no 3º Ciclo do Ensino Básico e Secundário na Região Autónoma da Madeira
por
Gomes, Maria Lurdes de
Caires
Luís
Ascensão
Publicado em 2006
Acessar documento
Dissertação
6
Propositions-as-types and shared state
por
Rocha, Pedro
Publicado em 2021
Outros Autores:
“
...
Caires
,
Luís
...
”
Acessar documento
Artigo
Exportar CSV
Exportar RIS
Carregando...