Etiqueta de registo: 00230nam 2200025 450
001 1788050
003 http://id.bnportugal.gov.pt/bib/catbnp/1788050
100 ## $a20110826d2010 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $a A formal approach to long running transactions$fCátia Raquel Jesus Vaz$gorient. Carla Maria Gonçalves Ferreira, Joaquim Armando Pires Jorge
210 #9 $aLisboa$c[s.n.],$d2010
215 ## $aXXIII, 154, [1] 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. Engenharia Informática e de Computadores, Instituto Superior Técnico, Univ. Técnica de Lisboa, 2010
675 ## $a004.7(043)$vBN$zpor$3918097
675 ## $a004.9(043)$vBN$zpor$3788403
700 #1 $aVaz,$bCátia Raquel Jesus$31195135
702 #1 $aFerreira,$bCarla Maria Gonçalves$4727$31350471
702 #1 $aJorge,$bJoaquim Armando Pires$4727$31213680
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 18892 P.$x1
966 ## $lBN$mFGMON$sP. 33225 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1695398
003 http://id.bnportugal.gov.pt/bib/catbnp/1695398
100 ## $a20081110d2007 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aModelo conceptual para auditoria organizacional contínua com análise em tempo real$bTexto policopiado]$fCarlos Alberto Lourenço dos Santos$gorient. José Manuel Nunes Salvador Tribolet, Carla Maria Gonçalves Ferreira
210 #9 $aLisboa$c[s.n.],$d2007
215 ## $aVIII, [10], 222 p.$cil.$d30 cm
320 ## $aBibliografia, p. 133-139
328 #0 $bTese dout.$cEngenharia Informática e de Computadores$eInstituto Superior Técnico, Univ. Técnica de Lisboa$d2007
675 ## $a004.9(043)$vBN$zpor$3788403
675 ## $a005.5(043)$vBN$zpor$31279180
675 ## $a657.6(043)$vBN$zpor$3389482
700 #1 $aSantos,$bCarlos Alberto Lourenço dos$3388765
702 #1 $aTribolet,$bJosé Manuel$4727$329598
702 #1 $aFerreira,$bCarla Maria Gonçalves$4727$31350471
712 02 $aUniversidade Técnica de Lisboa.$bInstituto Superior Técnico$4295$3175770
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 25118 V.$x1