Etiqueta de registo: 00230nam 2200025 450
001 1794474
003 http://id.bnportugal.gov.pt/bib/catbnp/1794474
010 ## $a978-90-79982-04-2
100 ## $a20111115d2009 k y0pory0103 ba
101 0# $aeng
102 ## $aNL
105 ## $aa v 000yy
106 ## $ar
200 1# $aSpectrum-based fault localization in embedded software$fRui Filipe Lima Maranhão de Abreu
210 #9 $aDelft$c[s.n.],$d2009
215 ## $aXII, 183 p.$cil.$d24 cm$edeclaração ([1] p.)
300 ## $aOrig.: Tese dout. Informatics Engineer, Fac. of Mathematics and Computer Science, Univ. of Delft, 2009
320 ## $aBibliografia, p. 157-173
675 ## $a004.4.05$vBN$zpor$31486916
675 ## $a004.4.03$vBN$zpor$31486917
700 #1 $aAbreu,$bRui Maranhão,$f1981-$31474471
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 33461 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1951614
003 http://id.bnportugal.gov.pt/bib/catbnp/1951614
100 ## $a20161227d2016 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aSpectrum-based diagnosis for run-time systems$fNuno Cardoso$gorient. Rui Abreu, David Garlan
210 #9 $aPorto$c[s.n.],$d2016
215 ## $a[15], VIII, 125 p.$cil.$d30 cm
328 #1 $aTese dout. Informatics Engineering, Universidade do Porto, 2016
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $97$aCardoso,$bNuno$31666684
702 #1 $aAbreu,$bRui Maranhão,$f1981-$31474471
702 #1 $aGarlan,$bDavid$4727$31666685
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 46560 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2012976
003 http://id.bnportugal.gov.pt/bib/catbnp/2012976
100 ## $a20180130d2018 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aSpectrum-based diagnosis$emeasurements, improvements and applications$fAlexandre Campos Perez$gorient. Rui Maranhão Abreu
210 #9 $aPorto$c[s.n.],$d2018
215 ## $aXXIII, 136 p.$cil.$d30 cm
328 #1 $aTese dout. Engenharia Informática, Faculdade de Engenharia, Universidade do Porto, 2018
675 ## $a004.41(043)$vBN$zpor$3869101
675 ## $a004.89(043)$vBN$zpor$3911648
700 #1 $aPerez,$bAlexandre Campos$31739937
702 #1 $aAbreu,$bRui Maranhão,$f1981-$4727$31474471
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 52695 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2035656
003 http://id.bnportugal.gov.pt/bib/catbnp/2035656
100 ## $a20191205d2019 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aTools and techniques for energy-efficient mobile application development$fLuís Miranda da Cruz$gsupervisor Rui Maranhão Abreu
210 #9 $aPorto$c[s.n.],$d2019
215 ## $aXXVI, 197 p.$cil.$d30 cm
328 #1 $aTese dout. Program in Computer Science, Faculdade de Engenharia, Universidade do Porto, 2019
675 ## $a004.9(043)$vBN$zpor$3788403
700 #1 $aCruz,$bLuís Miranda da$31770245
702 #1 $aAbreu,$bRui Maranhão,$f1981-$4070$31474471
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 54840 V.$x1