| Registos Bibliográficos associados ao registo de autoridade |
|
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
Etiqueta de registo: 00000nam 2200025 450
001 2292780
003 http://id.bnportugal.gov.pt/bib/catbnp/2292780
100 ## $a20260819d2024 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aExtending conflict free replicated datatypes fault models$fHoussam Yactine$gorient. Ali Shoker, José Bacelar Almeida
210 #9 $a[S.l.$cs.n.],$d2024
215 ## $aXVII, 180 p.$cil.$d30 cm
328 #1 $aTese dout. Informática, Universidade de Aveiro, Universidade do Porto, Escola de Engenharia,
Universidade do Minho, 2024
700 #1 $aHoussam,$bYactine$32006565
702 #1 $aShoker,$bAli$4727$31990533
702 #1 $aAlmeida,$bJosé Carlos Bacelar$4727$31785279
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$x1
971 ## $corlando$d20260819
|
|
|
