| Registos Bibliográficos associados ao registo de autoridade |
|
Etiqueta de registo: 00825cam 2200241 450
001 731015
003 http://id.bnportugal.gov.pt/bib/catbnp/731015
005 20001213123500.0
095 ## $aPTBN00518231
100 ## $a19931220d1993 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aHerança na especificação Oblog$bTexto policopiado]$e um sistema correcto e adequado de reescrita do comportamento$fMaria Antónia Bacelar Costa Lopes
210 #9 $aLisboa$c[s.n.],$d1993
215 ## $aVII, 92 f.$cil.$d30 cm
320 ## $aBibliografia, f. 80-82
328 ## $aTese mestr. Matemática Aplicada, Univ. Técnica de Lisboa, 1993
675 ## $a519.68(043.2)$vBN$zpor$3342254
675 ## $a800.92(043.2)$vBN$zpor$3335755
700 #1 $aLopes,$bMaria Antónia Bacelar da Costa,$f1968-$3951342
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 75938 V.$x1
Etiqueta de registo: 00230nam 2200025 450
001 1829514
003 http://id.bnportugal.gov.pt/bib/catbnp/1829514
100 ## $a20130130d2012 k y0pory01030103ba
101 0# $aengeng $dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aSelf-management of systems built from adaptable components$fLiliana Wu Freitas Rosa$gorient. Luís Eduardo Teixeira Rodrigues, Maria Antónia Bacelar da Costa Lopes
210 #9 $aLisboa$c[s.n.],$d2012
215 ## $a[198] p.$cil.$d30 cm
215 ## $a1 disco ótico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese dout. Information Systems and Computer Eng., Inst. Sup. Técnico, Univ. Técnica
de Lisboa, 2012
675 ## $a004.41/.42(043)$vBN$zpor$31406178
675 ## $a004.2(043)$vBN$zpor$31234195
700 #1 $aRosa,$bLiliana Wu Freitas$31520258
702 #1 $aRodrigues,$bLuís Eduardo Teixeira$4727$3212760
702 #1 $aLopes,$bMaria Antónia Bacelar da Costa,$f1968-$4727$3951342
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 20190 P.
966 ## $lBN$mFGMON$sP. 36798 V.$x1
Etiqueta de registo: 00716cam 2200205 450
001 1024219
003 http://id.bnportugal.gov.pt/bib/catbnp/1024219
005 20000831143100.0
100 ## $a20000605d1999 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aNão-determinismo e composicionalidade na especificação de sistemas reactivos$bTexto policopiado]$fMaria Antónia Bacelar da Costa Lopes
210 #9 $aLisboa$c[s.n.],$d1999
215 ## $aIX, 256 p.$cil.$d30 cm$ecurriculum vitae (8 f.)
320 ## $aBibliografia, p. 240-248
328 ## $aTese dout. Informática, Univ. Lisboa, 1999
675 ## $a004.4(043)$vBN$zpor$3787169
700 #1 $aLopes,$bMaria Antónia Bacelar da Costa,$f1968-$3951342
966 ## $lBN$mFGMON$sP. 15162 V.$x1
Etiqueta de registo: 00000nam 2200025 450
001 2023254
003 http://id.bnportugal.gov.pt/bib/catbnp/2023254
100 ## $a20190604d2019 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT$aFR
105 ## $aa m 000yy
106 ## $ar
200 1# $aAutomated planning to support the deployment and management of applications in cloud
environments$fRichard Joaquin Gil Martinez$gsupervisors Luís Eduardo Teixeira Rodrigues, Maria Antónia Bacelar da Costa Lopes,
Peter Van Roy
210 #9 $aLisboa$c[s.n.],$d2019
215 ## $aX, 124 p.$cil.$d30 cm
328 #1 $aTese dout. Information Systems and Computer Engineering, Univ. Catholique de Louvain,
Inst. Sup. Técnico, Uviv. de Lisboa, 2019
675 ## $a681.5(043)$vBN$zpor$3297997
675 ## $a004.4(043)$vBN$zpor$3787169
700 #1 $aGil Martinez,$bRichard Joaquin$31753979
702 #1 $aRodrigues,$bLuís Eduardo Teixeira$4727$3212760
702 #1 $aLopes,$bMaria Antónia Bacelar da Costa,$f1968-$4727$3951342
702 #1 $aVan Roy,$bPeter$4727$31753980
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 172676 V.
|
|
|
