Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-3 de um total de 3 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
25-Jun-2012Formal verification of cryptographic software implementationsVieira, Bárbara Isabel SousaTese de doutoramentoAcesso aberto
17-Set-2012Bidirectional data transformation by calculationPacheco, Hugo José PereiraTese de doutoramentoAcesso aberto
29-Out-2014A relational approach to bidirectional transformationMacedo, NunoTese de doutoramentoAcesso aberto
1-3 de um total de 3 resultados (tempo de pesquisa: 0.0 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir