| Registos Bibliográficos associados ao registo de autoridade |
|
Etiqueta de registo: 00000nam 2200025 450
001 1857374
003 http://id.bnportugal.gov.pt/bib/catbnp/1857374
100 ## $a20131129d2013 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay z 001yy
106 ## $ar
200 1# $aFoundations and techniques for software reconfigurability$fAlexandre Leite de Castro Madeira$gorient. Luís Soares Barbosa, Manuel A. Martins
210 #9 $a[Braga$aAveiro$aPorto$cs.n.],$d2013
215 ## $aXVI,, 173 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
300 ## $aContém: Autorização da reprodução parcial para efeitos de investigação, mediante
declaração escrita
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 151-173
328 #1 $aTese dout. Informática, Escola de Engenharia, Univ. do Minho, 2013
675 ## $a004.4(043)$vBN$zpor$3827344
675 ## $a004.9(043)$vBN$zpor$3788403
700 #1 $aMadeira,$bAlexandre Leite de Castro,$f1980-$31402987
702 #1 $93$aBarbosa,$bLuís Soares$4727$31464833
702 #1 $aMartins,$bManuel A. da Costa,$f1972-$4727$3228994
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 21085 P.$x1
966 ## $lBN$mFGMON$sP. 38726 V.$x1
Etiqueta de registo: 00230nam 2200025 450
001 1784461
003 http://id.bnportugal.gov.pt/bib/catbnp/1784461
100 ## $a20110712d2009 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aSpecification and refinement of software connectors$fMarco António de Castro Barbosa$gorient. Luís Soares Barbosa
210 #9 $a[Braga$cs.n.],$d2009
215 ## $aXII, 194 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. Informática (Conhecimento de Fundamentos da Computação), Escola de Engenharia,
Univ. do Minho, 2009
675 ## $a004.41(043)$vBN$zpor$3869101
675 ## $a004.5(043)$vBN$zpor$31215225
700 #1 $aBarbosa,$bMarco António de Castro$31465210
702 #1 $93$aBarbosa,$bLuís Soares$4727$31464833
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 18786 P.$x1
966 ## $lBN$mFGMON$sP. 32675 V.$x1
Etiqueta de registo: 00230nam 2200025 450
001 1784209
003 http://id.bnportugal.gov.pt/bib/catbnp/1784209
100 ## $a20110708d2008 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aSlicing techniques applied to architectural$eanalysis of legacy software$fNuno Miguel Feixa Rodrigues$gorient. Luís Saores Barbosa
210 #9 $a[Braga$cs.n.],$d2008
215 ## $aXV, 255 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. Informática (Fundamentos da Computação), Univ. do Minho, 2008
675 ## $a004.4(043)$vBN$zpor$3827344
700 #1 $aRodrigues,$bNuno Miguel Feixa$31464832
702 #1 $93$aBarbosa,$bLuís Soares$4727$31464833
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 18718 P.$x1
966 ## $lBN$mFGMON$sP. 32672 V.$x1
Etiqueta de registo: 00000nam 2200025 450
001 1926417
003 http://id.bnportugal.gov.pt/bib/catbnp/1926417
100 ## $a20160328d2015 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aArchitectural reconfiguration of interacting services$fNuno Ernesto Salgado Oliveira$gsupervisor Luís Soares Barbosa
210 #9 $a[Braga$cs.n.],$d2015
215 ## $aXXV, [1], 250 p.$cil.$d30 cm
320 ## $aBibliografia, p. 229-250
328 #1 $aTese dout. Informática, Escola de Engenharia, Universidade do Minho, 2015
675 ## $a004.41(043)$vBN$zpor$3869101
675 ## $a004.9(043)$vBN$zpor$3788403
700 #1 $aOliveira,$bNuno Ernesto Salgado$31640404
702 #1 $93$aBarbosa,$bLuís Soares$4727$31464833
801 #0 $aPT$bBN$gRPC
900 ## $aBIBNAC$d20160406
966 ## $lBN$mFGMON$sP. 44222 V.$x1
Etiqueta de registo: 00000nam 2200025 450
001 2014579
003 http://id.bnportugal.gov.pt/bib/catbnp/2014579
100 ## $a20190214d2018 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aHybrid programs$fRenato Jorge Araújo Neves$gorient. Luís Soares Barbosa, Manuel António Martins
210 #9 $a[S.l.$cs.n.],$d2018
215 ## $aXII, 185 p.$cil.$d30 cm
328 #1 $aTese dout. Informatics, Escola de Engenharia, Universidade do Minho, 2018
675 ## $a004.41(043)$vBN$zpor$3869101
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.9(043)$vBN$zpor$3788403
700 #1 $aNeves,$bRenato Jorge Araújo$31742103
702 #1 $93$aBarbosa,$bLuís Soares$4727$31464833
702 #1 $aMartins,$bManuel António da Mota Freitas,$f1964-$4727$3284905
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 53218 V.
Etiqueta de registo: 00000nam 2200025 450
001 2057064
003 http://id.bnportugal.gov.pt/bib/catbnp/2057064
100 ## $a20201016d2020 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aFundações lógicas e ferramentas computacionais para a biologia sintética$dLogical foundations and computational tools for synthetic biology$fDaniel Oliveira Figueiredo$gorient. Manuel António Gonçalves Martins, Luís Soares Barbosa$zeng
210 #9 $aAveiro$c[s.n.],$d2020
215 ## $a[5] f., VI, 106 p.$cil.$d30 cm
328 #1 $aTese dout. Matemática Aplicada, Dep. Matemática, Univ. Aveiro, 2020
510 1# $aLogical foundations and computational tools for synthetic biology$zeng
675 ## $a519.7/.8(043)$vBN$zpor$31291070
700 #1 $aFigueiredo,$bDaniel Oliveira$31793019
702 #1 $aMartins,$bManuel António Gonçalves$4727$31402981
702 #1 $93$aBarbosa,$bLuís Soares$4727$31464833
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 175501 V.$x1
Etiqueta de registo: 00254nam 2200025 450
001 2162673
003 http://id.bnportugal.gov.pt/bib/catbnp/2162673
100 ## $a20240402d2022 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aWeighted computations$esemantics and program logics$fLeandro Rafael Moreira Gomes$gorient. Luís Soares Barbosa, Alexandre Madeira
210 #9 $a[S.l.$cs.n.],$d2022
215 ## $aX, 174 p.$d30 cm
328 #1 $aTese de dout. in Computer Science, Escola de Engenharia, Universidade do Minho, Universidade
de Aveiro, Universidade do Porto, 2022
675 ## $a004.82(043)$vBN$zpor$31209577
700 #1 $aGomes,$bLeandro Rafael Moreira$31911937
702 #1 $93$aBarbosa,$bLuís Soares$4727$31464833
702 #1 $aMadeira,$bAlexandre Leite de Castro,$f1980-$4727$31402987
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 66456 V.$x1
971 ## $cabrito$d20240402
972 ## $d20240523$e0$vlrevez$z0
973 ## $cigoulao$d20240515
|
|
|
