Etiqueta de registo: 00772cam 2200229 450
001 1086221
003 http://id.bnportugal.gov.pt/bib/catbnp/1086221
005 20030207163800.0
100 ## $a20020625d2001 k y0pory0103 ba
101 0# $aeng$dpor$dfre
102 ## $aPT
105 ## $aa z 001yy
106 ## $ar
200 1# $aOn the implementation of and-or parallel logic programming systems$bTexto policopiado]$fManuel Eduardo Carvalho Duarte Correia
210 #9 $aPorto$c[s.n.],$d2001
215 ## $a221 p.$cil.$d29 cm
320 ## $aBibliografia, p. 207-221
328 ## $aTese dout. em Ciência de Computadores, Univ. Porto, 2001
675 ## $a681.5(043)$vBN$zpor$3297997
675 ## $a519.6(043)$vBN$zpor$31220290
675 ## $a004.43Prolog(043)$vBN$zpor$31053961
700 #1 $aCorreia,$bManuel Eduardo Carvalho Duarte$31051882
966 ## $lBN$mFGMON$sS.A. 7884 A.$x1

Etiqueta de registo: 00254nam 2200025 450
001 2165843
003 http://id.bnportugal.gov.pt/bib/catbnp/2165843
100 ## $a20240503d2023 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aEstablishing secure and privacy preserving digital identity with self-sovereign identity$fMuhammad Shehu Abubakar-Sadiq$gsupervisor Manuel Eduardo Carvalho Duarte Correia, Antonio Alberto dos Santos Pinto
210 #9 $aPorto$c[s.n.],$d2023
215 ## $aXVIII, 132 p.$cil.$d30 cm
328 #1 $aTese dout. Computer Science, Fac. de Ciências, Univ. do Porto, 2023
675 ## $a004.49(043)$vBN$zpor$31221062
700 #0 $aMuhammad,$bShehu Abubakar-Sadiq$31915049
702 #1 $aCorreia,$bManuel Eduardo Carvalho Duarte$4727$31051882
702 #1 $aPinto,$bAntónio Alberto dos Santos,$f1976-$4727$31273995
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 67048 V.$x1
971 ## $casantos$d20240503
972 ## $e0$z0$d20240819$vmsebas
973 ## $cigoulao$d20240731

Etiqueta de registo: 00230nam 2200025 450
001 1880933
003 http://id.bnportugal.gov.pt/bib/catbnp/1880933
100 ## $a20140807d2011 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $a An artificial immune system for anomaly detection based on dynamic tunable activation thresholds$fMaria João Gonçalves Antunes$gorient. Manuel Eduardo Correia
210 #9 $aPorto$c[s.n.],$d2011
215 ## $a215 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Ciência de Computadores, Univ. do Porto, 2011
675 ## $a004.85(043)$vBN$zpor$31239009
675 ## $a576(043)$vBN$zpor$3395250
675 ## $a577.27(043)$vBN$zpor$3591748
675 ## $a519.7(043)$vBN$zpor$31229234
700 #1 $aAntunes,$bMaria João Gonçalves$31582467
702 #1 $aCorreia,$bManuel Eduardo Carvalho Duarte$4727$31051882
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 21570 P.$x1
966 ## $lBN$mFGMON$sP. 40414 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2060897
003 http://id.bnportugal.gov.pt/bib/catbnp/2060897
100 ## $a20201204d2020 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aEstabiblishing trust and confidence among entities in distributed networks$fFrancis Nwebonyi Nwebonyi$gorient. Manuel Eduardo Carvalho Duarte Correia, Rolando da Silva Martins
210 #9 $aPorto$c[s.n.],$d2020
215 ## $aX, 121 p.$cil.$d30 cm
328 #1 $aTese dout. Ciências de Computadores, Faculdade de Ciências, Univ. do Porto, Univ. de Aveiro, Univ do Minho, 2020
675 ## $a004.73(043)$vBN$zpor$3813506
700 #1 $aNwebonyi,$bFrancis Nwebonyi$31797502
702 #1 $aCorreia,$bManuel Eduardo Carvalho Duarte$4727$31051882
702 #1 $aMartins,$bRolando da Silva$4727$31243672
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/127994
966 ## $lBN$mFGMON$sP. 57123 V.$x1