Etiqueta de registo: 00623cam 2200205 450
001 1053510
003 http://id.bnportugal.gov.pt/bib/catbnp/1053510
005 20011116120400.0
100 ## $a20010420d2000 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aCombining logics$bTexto policopiado]$fCarlos Manuel Costa Lourenço Caleiro
210 #9 $aLisboa$c[s.n.],$d2000
215 ## $a204 p.$d30 cm
320 ## $aBibliografia, p. 185-191
328 ## $aTese dout. Matemática, Univ. Téc. de Lisboa, 2000
675 ## $a510.6(043)$vBN$zpor$31303923
700 #1 $aCaleiro,$bCarlos,$f1970-$3221905
966 ## $lBN$mFGMON$sS.A. 98190 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1793430
003 http://id.bnportugal.gov.pt/bib/catbnp/1793430
100 ## $a20111031d2010 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aStatically proving behavioural properties in the pi-calculus via dependency analysis$fMaxime Emile Gamboni$gorient. António Maria Lobo César Alarcão Ravara, Carlos Manuel Costa Lourenço Caleiro
210 #9 $aLisboa$c[s.n.],$d2010
215 ## $aX, 168 p.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 121-123
328 #1 $aTese dout. Mathematics, Instituto Superior Técnico, Univ. Técnica de Lisboa, 2010
675 ## $a519.6/.7(043)$vBN$zpor$31246935
700 #1 $aGamboni,$bMaxime Emile$31472910
702 #1 $aRavara,$bAntónio$4727$3267745
702 #1 $aCaleiro,$bCarlos,$f1970-$4727$3221905
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.A. 53087 P.$x1
966 ## $lBN$mFGMON$sS.A. 145732 V.$x1

Etiqueta de registo: 00731cam 2200229 450
001 608279
003 http://id.bnportugal.gov.pt/bib/catbnp/608279
005 19990104000000.0
095 ## $aPTBN00818616
100 ## $a19960628d1995 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aComunidades distribuídas de objectos$bTexto policopiado]$fCarlos Manuel Costa Lourenço Caleiro
210 #9 $aLisboa$c[s.n.],$d1995
215 ## $aVII, 116 f.$cil.$d30 cm
320 ## $aBibliografia, f. 105-111
328 ## $aTese mestr. Matemática Aplicada, Univ. Técnica de Lisboa, 1995
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aCaleiro,$bCarlos,$f1970-$3221905
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 81936 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1965856
003 http://id.bnportugal.gov.pt/bib/catbnp/1965856
100 ## $a20170622d2017 k y0pory01030103ba
101 0# $aeng$dporfre
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $a A probabilistic logic over equations and domain restrictions$fAndreia Filipa Torcato Mordido$gsupervisor Carlos Manuel Costa Lourenço Caleiro
210 #9 $aLisboa$c[s.n.],$d2017
215 ## $aIX, 149 p.$cil.$d30 cm
328 #1 $aTese dout. Information Security, Instituto Superior Técnico, Universidade de Lisboa, 2017
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.05(043)$vBN$zpor$31239909
675 ## $a510.6(043)$vBN$zpor$31303923
700 #1 $aMordido,$bAndreia Filipa Torcato$31684246
702 #1 $aCaleiro,$bCarlos,$f1970-$4727$3221905
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 47944 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2017189
003 http://id.bnportugal.gov.pt/bib/catbnp/2017189
100 ## $a20190315d2018 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aImproving information security in ranking, recommender and control systems$fGuilherme Henrique Caçador Ramos$gsupervisor Carlos Manuel Costa Lourenço Caleiro
210 #9 $aLisboa$c[s.n.],$d2018
215 ## $aXV, [1], 141 p.$cil.$d30 cm
328 #1 $aTese dout. Segurança de Informação, Instituto Superior Técnico, Univ. de Lisboa, 2018
675 ## $a004.73.05(043)$vBN$zpor$31467525
675 ## $a004.02(043)$vBN$zpor$31286563
700 #1 $aRamos,$bGuilherme Henrique Caçador$31745669
702 #1 $aCaleiro,$bCarlos,$f1970-$4727$3221905
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 53346 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2123558
003 http://id.bnportugal.gov.pt/bib/catbnp/2123558
100 ## $a20230215d2022 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aComputability of logical problems associated to partial non-deterministic matrices$fPedro Gonçalo Godinho Filipe$gorient. Carlos Manuel Costa Lourenço Caleiro, Sérgio Roseiro Teles Marcelino
210 #9 $aLisboa$c[s.n.],$d2022
215 ## $aXI, 94 p.$d30 cm
328 #1 $aTese dout. Matemática, Instituto Superior Técnico, Univ. de Lisboa, 2022
675 ## $a510.6(043)$vBN$zpor$31303923
700 #1 $aFilipe,$bPedro Gonçalo Godinho$31872916
702 #1 $aCaleiro,$bCarlos,$f1970-$4727$3221905
702 #1 $aMarcelino,$bSérgio Roseiro Teles$4727$31872918
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 184512 V.$x1
971 ## $cmsebas$d20230215
972 ## $e0$z0$d20230529$vasantos
973 ## $cigoulao$d20230517