Etiqueta de registo: 00000nam 2200025 450
001 1856787
003 http://id.bnportugal.gov.pt/bib/catbnp/1856787
100 ## $a20131122d2012 k y0pory01030103ba
101 0# $aeng r$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aBidirectional data transformation by calculation$fHugo José Pereira Pacheco$gorient. Manuel Alcino Pereira da Cunha, José Nuno Fonseca de Oliveira
210 #9 $a[Guimarães$cs.n.],$d2012
215 ## $aXVI, 247 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 17 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 233-247
328 #1 $aTese dout. Programme in Computer Science, Esc. de Engenharia, Univ. do Minho, 2012
675 ## $a004.43(043)$vBN$zpor$31253292
675 ## $a004.6(043)$vBN$zpor$3788451
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aPacheco,$bHugo José Pereira$31554175
702 #1 $aCunha,$bManuel Alcino Pereira da$4727$31048535
702 #1 $aOliveira,$bJosé Nuno Fonseca$4727$3356868
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 21074 P.$x1
966 ## $lBN$mFGMON$sP. 38536 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1784131
003 http://id.bnportugal.gov.pt/bib/catbnp/1784131
100 ## $a20110707d2009 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aOn the design of a galculator$fPaulo Filipe Araújo da Silva$gorient. José Nuno Fonseca de Oliveira
210 #9 $a[Braga$cs.n.],$d2009
215 ## $aXVIII, 246 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
300 ## $aAutorizada a reprodução integral pelo autor, apenas para efeitos de investigação e mediante declaração escrita do interessado.
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Informática (Fundamentos da Computação), Univ. do Minho, 2009
675 ## $a004.41(043)$vBN$zpor$3869101
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aSilva,$bPaulo Filipe Araújo da$31464724
702 #1 $aOliveira,$bJosé Nuno Fonseca$4727$3356868
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 18738 P.$x1
966 ## $lBN$mFGMON$sP. 32695 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1784037
003 http://id.bnportugal.gov.pt/bib/catbnp/1784037
100 ## $a20110706d2008 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aFoundations of program refinement by calculation$fCésar de Jesus Pereira da Cunha Rodrigues$gorient. José Nuno Fonseca de Oliveira
210 #9 $a[Braga$cs.n.],$d2008
215 ## $aIX, [1], 147 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 ## $aBibliografia, p. 123-132
328 #1 $aTese dout. Informática (Fundamentos da Computação), Escola de Engenharia, Univ. do Minho, 2008
675 ## $a004.4(043)$vBN$zpor$3827344
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aRodrigues,$bCésar de Jesus Pereira da Cunha$31465292
702 #1 $aOliveira,$bJosé Nuno Fonseca$4727$3356868
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 18709 P.$x1
966 ## $lBN$mFGMON$sP. 32682 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1702499
003 http://id.bnportugal.gov.pt/bib/catbnp/1702499
100 ## $a20090212d2006 k y0pory0103 ba
101 0# $aeng$dfre$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aAutomated specification$bTexto policopiado]$ebased testing of graphical user interfaces$fAna Cristina Ramada Paiva Pimenta$gorient. Raul Fernando de Almeida Moreira Vidal, João Carlos Pascoal Faria, José Nuno Fonseca de Oliveira
210 #9 $aPorto$c[s.n.],$d2006
215 ## $aXXIII, 228 p.$cil.$d30 cm
320 ## $aBibliografia, p. 189-203
328 #0 $bTese dout.$cEngenharia Electrotécnica e de Computadores$eFac. de Engenharia, Univ. do Porto$d2006
675 ## $a004.7(043)$vBN$zpor$3918097
675 ## $a004.5(043)$vBN$zpor$31215225
700 #1 $aPimenta,$bAna Cristina Ramada Paiva$31362907
702 #1 $aVidal,$bRaul Fernando de Almeida Moreira$4727$31362908
702 #1 $aFaria,$bJoão Carlos Pascoal de$4727$3472528
702 #1 $aOliveira,$bJosé Nuno Fonseca$4727$3356868
712 02 $aUniversidade do Porto.$bFaculdade de Engenharia$4295$320472
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 25641 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1361297
003 http://id.bnportugal.gov.pt/bib/catbnp/1361297
100 ## $a20051216d2004 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aReificação "Genética" de estruturas de dados$bTexto policopiado]$fFernando Luís Pinto Neves$gorient. José Nuno Oliveira
210 #9 $aBraga$c[s.n.],$d2004
215 ## $aXVI, 190 p.$d30 cm
320 ## $aBibliografia, p. 185-190
328 #0 $bTese mestr.$cInformática$eEscola de Engenharia, Univ. do Minho$d2004
675 ## $a004.41(043)$vBN$zpor$3869101
700 #1 $aNeves,$bFernando Luís Pinto$31226210
702 #1 $aOliveira,$bJosé Nuno Fonseca$4727$3356868
712 02 $aUniversidade do Minho.$bEscola de Engenharia$4295$3106263
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 111885 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1361293
003 http://id.bnportugal.gov.pt/bib/catbnp/1361293
100 ## $a20051216d2004 k y0pory0103 ba
101 0# $apor$dfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aRe-engenharia de dados em suporte relacional usando métodos formais $bTexto policopiado]$fJoão Carlos Cardoso da Silva$gorient. José Nuno de Oliveira
210 #9 $aBraga$c[s.n.],$d2004
215 ## $a119 f.$cil.$d29 cm
320 ## $aBibliografia, f. 86-88
328 #0 $bTese mestr.$cInformática, esp. Sistemas Distribuídos, Comunicações por Computador e Aiquitectura de Computadores$eDep. de Informática, Univ. do Minho,$d2004
675 ## $a004.6(043)$vBN$zpor$31238716
675 ## $a004.05(043)$vBN$zpor$31239909
700 #1 $aSilva,$bJoão Carlos Cardoso da$31228078
702 #1 $aOliveira,$bJosé Nuno Fonseca$4727$3356868
712 02 $aUniversidade do Minho.$bEscola de Engenharia.$bDepartamento de Informática$4295$31214610
966 ## $lBN$mFGMON$sP. 21105 V.$x1