Etiqueta de registo: 00230nam 2200025 450
001 1822212
003 http://id.bnportugal.gov.pt/bib/catbnp/1822212
100 ## $a20121030d2011 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aSupport for dependable and adaptive distributed systems and applications$fMônica Lopes Muniz Corrêa Dixit$gorient. António Casimiro Costa
210 #9 $aLisboa$c[s.n.],$d2011
215 ## $aXXII, 161, [3] p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em saqueta$cil.$d13 x 13 cm$ecurriculum vitae (3 f.)
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Informática (Engenharia Informática), Fac. de Ciências, Univ. de Lisboa, 2011
675 ## $a004.75(043)$vBN$zpor$31240724
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.73(043)$vBN$zpor$3813506
700 #1 $aDixit,$bMônica Lopes Muniz Corrêa$31511023
702 #1 $aCosta,$bAntónio Casimiro Ferreira da,$f1968-$4727$3207741
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 20006 P.$x1
966 ## $lBN$mFGMON$sP. 36327 V.$x1

Etiqueta de registo: 00605cam 2200181 450
001 1159546
003 http://id.bnportugal.gov.pt/bib/catbnp/1159546
100 ## $a20030728d2003 me y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay z 001yy
106 ## $ar
200 1# $aTimely actions in the presence of uncertain timeliness$bTexto policopiado]$fAntónio Casimiro Ferreira da Costa
210 #9 $aLisboa$c[s.n.],$d2003
215 ## $aIX, 216 p.$d30 cm$ecurriculum vitae (3 f.)
320 ## $aBibliografia, p. 199-215
328 ## $aTese dout. Informática, Univ. Lisboa, 2003
675 ## $a004.03(043)$vBN$zpor$31229757
700 #1 $aCosta,$bAntónio Casimiro Ferreira da,$f1968-$3207741
966 ## $lBN$mFGMON$sP. 18620 V.$x1

Etiqueta de registo: 01284cam 2200313 450
001 590836
003 http://id.bnportugal.gov.pt/bib/catbnp/590836
005 19990104000000.0
095 ## $aPTBN00800131
100 ## $a19960304d1995 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aNavCim$bTexto policopiado]$e uma arquitectura distribuída de suporte ao controlo e supervisão em tempo-real de processos industriais$fAntónio Casimiro Ferreira da Costa
210 #9 $aLisboa$c[s.n.],$d1995
215 ## $a[10], XVI, 151 p.$cil.$d31 cm
320 ## $aBibliografia, p. 147-151
328 ## $aTese mestr. Eng. Electrotécnica e Computadores, Univ. Técnica Lisboa, 1995
675 ## $a621.3(043)$vBN$zpor$vBN$zpor$3297328
700 #1 $aCosta,$bAntónio Casimiro Ferreira da,$f1968-$3207741
801 #0 $aPT$bBN$gRPC
856 40 $uhttps://purl.pt/6323
856 41 $uhttps://purl.pt/6323/service/media/cover/low
958 ## $aBND$bInterno$cNascido digital
966 ## $lBN$mBND$nDocumento electrónico$sPURL 6323/0
966 ## $lBN$mBND$nDocumento electrónico$sPURL 6323/1
966 ## $c2$lBN$mFGMON$nDupl. f. soltas em bolsa de resguardo$sS.A. 7046 A.$x1
966 ## $c2$lBN$mFGMON$nDupl. f. soltas em bolsa de resguardo$sS.A. 7046 A.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2213508
003 http://id.bnportugal.gov.pt/bib/catbnp/2213508
100 ## $a20250506d2024 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aSafe and resource-aware verification for programming cyber-physical systems$fCarlos Jorge Velez Mão de Ferro$gorient. Francisco Cipriano da Cunha Martins, António Casimiro Ferreira da Costa
210 #9 $aLisboa$c[s.n.],$d2024
215 ## $aXXIII, 173 p.$cil.$d30 cm$ecurriculum vitae (3 f.)
328 #1 $aTese dout. Informática, Faculdade de Ciências, Universidade de Lisboa, 2024
675 ## $a004.4(43)$vBN$zpor$31954158
700 #1 $aMão de Ferro,$bCarlos Jorge Velez Mão de$31953982
702 #1 $aMartins,$bFrancisco Cipriano da Cunha,$f1972-$4727$31295267
702 #1 $aCosta,$bAntónio Casimiro Ferreira da,$f1968-$4727$3207741
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 69691 V.$x1
971 ## $corlando$d20250506
972 ## $e0$z0$d20250523$viquintas
973 ## $cigoulao$d20250508