| Registos Bibliográficos associados ao registo de autoridade |
|
Etiqueta de registo: 00000nam 2200025 450
001 1857459
003 http://id.bnportugal.gov.pt/bib/catbnp/1857459
100 ## $a20131202d2012 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aFormal verification of cryptographic software implementations$fBárbara Isabel de Sousa Vieira$gorient. Manuel Bernardo Barbosa
210 #9 $a[Guimarães$cs.n.],$d2012
215 ## $aXVI, 186 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Informatics, Esc. de Engenharia, Univ. do Minho, 2012
675 ## $a004.4(043)$vBN$zpor$3787169
675 ## $a519.71(043)$vBN$zpor$3389481
700 #1 $aVieira,$bBárbara Isabel de Sousa$31555357
702 #1 $aBarbosa,$bManuel Bernardo$4727$31555565
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 21084 P.$x1
966 ## $lBN$mFGMON$sP. 38745 V.$x1
Etiqueta de registo: 00000nam 2200025 450
001 2049550
003 http://id.bnportugal.gov.pt/bib/catbnp/2049550
100 ## $a20200706d2020 m y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay z 000yy
106 ## $ar
200 1# $aIntegrated verification of cryptographic security proofs and implementations$fVítor Manuel Parreira Pereira$gorient. Manuel Bernardo Martins Barbosa, José Carlos Bacelar Almeida
210 #9 $aPorto$c[s.n.],$d2020
215 ## $aXVIII, 164 p.$d30 cm
328 #1 $aTese dout. Ciência de Computadores, Faculdade de Ciências, Universidade do Porto ;
Universidade de Aveiro ; Universidade do Minho, 2020
675 ## $a004.05(043)$vBN$zpor$31239909
675 ## $a004.4(043)$vBN$zpor$3787169
700 #1 $aPereira,$bVítor Manuel Parreira$31785275
702 #1 $aBarbosa,$bManuel Bernardo$4727$31555565
702 #1 $aAlmeida,$bJosé Carlos Bacelar$4727$31785279
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 55949 V.$x1
Etiqueta de registo: 00000nam 2200025 450
001 2120683
003 http://id.bnportugal.gov.pt/bib/catbnp/2120683
100 ## $a20230116d2022 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aHigh-speed and high-assurance cryptographic software$fTiago Filipe Azevedo Oliveira$gorient. Manuel Bernardo Martins Barbosa, José Carlos Bacelar Ferreira Junqueira Almeida
210 #9 $aPorto$c[s.n.],$d2022
215 ## $aXVII, 160 p.$d30 cm
328 #1 $aTese dout. Informática, Faculdade de Ciências, Universidade do Porto, Universidade
do Minho, Universidade de Aveiro, 2022
675 ## $a004.4(043)$vBN$zpor$3787169
700 #1 $aOliveira,$bTiago Filipe Azevedo$31869441
702 #1 $aBarbosa,$bManuel Bernardo$4727$31555565
702 #1 $aAlmeida,$bJosé Carlos Bacelar$4727$31785279
801 #0 $aPT$bBN$gRPC
856 40 $2Cópia digital disponível no Repositório Aberto da Universidade do Porto$uhttps://hdl.handle.net/10216/144015
966 ## $lBN$mFGMON$sP. 62261 V.$x1
971 ## $cmsebas$d20230116
972 ## $d20230421$e0$vlrevez$z0
973 ## $cmcarvalho$d20230403
974 ## $d20230405$e0$vaalmeid
|
|
|
