Mostrando
1 - 19
resultados de
19
para a busca '
Oliveira, José Nuno Fonseca
'
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
Oliveira, José Nuno Fonseca
Exportação
Exportar RIS
Exportar CSV
Mostrando
1 - 19
resultados de
19
para a busca '
Oliveira, José Nuno Fonseca
'
, tempo de busca: 0,08s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Pointfree foundations for (generic) lossless decomposition
por
Oliveira
,
José
Nuno
Fonseca
Publicado em 2011
Acessar documento
Relatório
2
Weighted automata as coalgebras in categories of matrices
por
Oliveira
,
José
Nuno
Fonseca
Publicado em 2013
Acessar documento
Artigo
3
Transposing partial components: an exercise on coalgebraic refinement
por
Oliveira
,
José
Nuno
Fonseca
Publicado em 2006
Acessar documento
Artigo
4
Alloy meets the algebra of programming: a case study
por
Oliveira
,
José
Nuno
Fonseca
Publicado em 2013
Acessar documento
Artigo
5
"Bagatelle in C arranged for VDM SoLo"
por
Oliveira
,
José
Nuno
Fonseca
Publicado em 2001
Acessar documento
Artigo
6
Software reification using the SETS calculus
por
Oliveira
,
José
Nuno
Fonseca
Publicado em 1992
Acessar documento
Artigo
7
A reification calculus for model-oriented software specification
por
Oliveira
,
José
Nuno
Fonseca
Publicado em 1990
Acessar documento
Artigo
8
Towards a linear algebra of programming
por
Oliveira
,
José
Nuno
Fonseca
Publicado em 2012
Acessar documento
Artigo
9
"Explosive" programming controlled by calculation
por
Oliveira
,
José
Nuno
Fonseca
Publicado em 1998
Acessar documento
Relatório
10
Functions as types or the "Hoare logic" of functional dependencies
por
Oliveira
,
José
Nuno
Fonseca
Publicado em 2012
Acessar documento
Artigo
11
Programming from Galois connection : principles and applications
por
Mu, Shin-Cheng
Publicado em 2010
Outros Autores:
“
...
Oliveira
,
José
Nuno
Fonseca
...
”
Acessar documento
Relatório
12
Calculating fault propagation in functional programs
por
Murta, Daniel R.
Publicado em 2013
Outros Autores:
“
...
Oliveira
,
José
Nuno
Fonseca
...
”
Acessar documento
Relatório
13
Programming from Galois connections
por
Mu, Shin-Cheng
Publicado em 2012
Outros Autores:
“
...
Oliveira
,
José
Nuno
Fonseca
...
”
Acessar documento
Artigo
14
Typing linear algebra : a biproduct-oriented approach
por
Macedo, Hugo Daniel
Publicado em 2013
Outros Autores:
“
...
Oliveira
,
José
Nuno
Fonseca
...
”
Acessar documento
Artigo
15
A study of risk-aware program transformation
por
Murta, Daniel Rodrigues Pacheco
Publicado em 2015
Outros Autores:
“
...
Oliveira
,
José
Nuno
Fonseca
...
”
Acessar documento
Artigo
16
A single complete relational rule for coalgebraic refinement
por
Rodrigues, César J.
Publicado em 2009
Outros Autores:
“
...
Oliveira
,
José
Nuno
Fonseca
...
”
Acessar documento
Artigo
17
WIKI::SCORE: a collaborative environment for music transcription and publishing
por
Almeida, J. J.
Publicado em 2011
Outros Autores:
“
...
Oliveira
,
José
Nuno
Fonseca
...
”
Acessar documento
Artigo
18
From algebras to objects: generation and composition
por
Cruz, A. Miguel
Publicado em 2005
Outros Autores:
“
...
Oliveira
,
José
Nuno
Fonseca
...
”
Acessar documento
Artigo
19
Composing least-change lenses
por
Macedo, Nuno Filipe Moreira
Publicado em 2013
Outros Autores:
“
...
Oliveira
,
José
Nuno
Fonseca
...
”
Acessar documento
Artigo
Exportar CSV
Export RIS
Carregando...