Etiqueta de registo: 00230nam 2200025 450
001 1648611
003 http://id.bnportugal.gov.pt/bib/catbnp/1648611
100 ## $a20070529d2005 k y0pory0103 ba
101 0# $aeng $dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aControlling security policies in a distributed environment$bTexto policopiado]$fFrancisco Cipriano da Cunha Martins$gorient. Vasco Manuel Thudichum de Serpa Vasconcelos
210 #9 $aLisboa$c[s.n.],$d2005
215 ## $a[6], VI, 167 p.$cil.$d30 cm$ecurriculum vitae (13 f.)
320 ## $aBibliografia, p. 159-167
328 #0 $bDoutoramento$cInformática$eDep. de Informática, Fac. de Ciências, Univ. de Lisboa$d2005
675 ## $a004.49(043)$vBN$zpor$31221062
675 ## $a004.05(043)$vBN$zpor$31239909
700 #1 $aMartins,$bFrancisco Cipriano da Cunha,$f1972-$31295267
702 #1 $aVasconcelos,$bVasco Manuel Thudichum de Serpa$4727$31295269
712 02 $aUniversidade de Lisboa.$bFaculdade de Ciências.$bDepartamento de Informática$4295$31231437
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 23602 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1990170
003 http://id.bnportugal.gov.pt/bib/catbnp/1990170
100 ## $a20180515d2018 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aAdding dependent types to class-based mutable objects$fJoana Correia Campos$gorient. Vasco Manuel Thudichum de Serpa Vasconcelos
210 #9 $aLisboa$c[s.n.],$d2018
215 ## $aXVI, 123 p.$cil.$d30 cm$ecurriculum vitae
328 #1 $aTese dout. Informática (Ciência da Computação), Faculdade de Ciências, Universidade de Lisboa, 2018
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.43(043)$vBN$zpor$31253292
700 #1 $aCampos,$bJoana Correia$31714041
702 #1 $aVasconcelos,$bVasco Manuel Thudichum de Serpa$4727$31295269
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 50648 V.$x1