Etiqueta de registo: 00230nam 2200025 450
001 1784344
003 http://id.bnportugal.gov.pt/bib/catbnp/1784344
100 ## $a20110711d2008 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aAmbientes virtuais povoados com simulação eficiente de detecção de colisões e planeamento de trajectos em navegação realmente 3D$fLeonel Domingues Deusdado$gorient. António José Borba Ramires Fernandes, Orlando Manuel de Oliveira Belo
210 #9 $a[Braga$cs.n.],$d2008
215 ## $aXXV, 236 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. em Informática, Escola de Engenharia, Univ. do Minho, 2008
675 ## $a681.5(043)$vBN$zpor$3297997
675 ## $a004.9(043)$vBN$zpor$3788403
675 ## $a711.7(043)$vBN$zpor$3480902
700 #1 $aDeusdado,$bLeonel Domingues$31091508
702 #1 $aFernandes,$bAntónio Ramires$4727$31209674
702 #1 $aBelo,$bOrlando Manuel de Oliveira,$f1963-$4727$3795383
712 02 $aUniversidade do Minho.$bEscola de Engenharia$bDepartamento de Engenharia de Informática$4295$31210697
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.A. 50752 P.$x1
966 ## $lBN$mFGMON$sS.A. 140537 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1366368
003 http://id.bnportugal.gov.pt/bib/catbnp/1366368
100 ## $a20060316d2004 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aExploração do GML e web services para uso de SIG's em PDA's$bTexto policopiado]$fRicardo Alexandre G. C. Martins$gorient. Pedro Rangel Henriques
210 #9 $aBraga$c[s.n.],$d2004
215 ## $aIX, 133 p.$cil.$d30 cm
320 ## $aBibliografia, p. 129-133
328 #0 $bTese mestr.$cInformática$eDepart. Informática, Escola de Engenharia, Univ. Minho$d2004
675 ## $a004.73(043)$vBN$zpor$3813506
675 ## $a004.6(043)$vBN$zpor$31238716
675 ## $a528.8(043)$vBN$zpor$31229651
700 #1 $aMartins,$bRicardo G. C.$31232307
702 #1 $aHenriques,$bPedro Rangel,$f1955-$4727$391851
712 02 $aUniversidade do Minho.$bEscola de Engenharia$bDepartamento de Engenharia de Informática$4295$31210697
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 21587 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1329681
003 http://id.bnportugal.gov.pt/bib/catbnp/1329681
100 ## $a20050721d2003 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aType-based termination of recursive definitions and constructor subtyping in typed lambda calculi$bTexto policopiado]$fMaria João Gomes Frade
210 #9 $aBraga$c[s.n.],$d2003
215 ## $aXIV, 188 p.$cil.$d30 cm
320 ## $aBibliografia, p. 179-188
328 ## $aTese dout.$cInformática$eDepartamento de Informática, Escola de Engenharia, Univ. do Minho$d2003
675 ## $a519.71(043)$vBN$zpor$3389481
700 #1 $aFrade,$bMaria João Gomes$31210691
712 02 $aUniversidade do Minho.$bEscola de Engenharia$bDepartamento de Engenharia de Informática$4295$31210697
966 ## $lBN$mFGMON$sS.A. 111285 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1366365
003 http://id.bnportugal.gov.pt/bib/catbnp/1366365
100 ## $a20060316d2004 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aExploração de soluções de arquivo para documentos anotados na linguagem XML e o seu processamento$eTexto policopiado]$fGiovana Mendes$gorient. Pedro Rangel Henriques
210 #9 $aBraga$c[s.n.],$d2004
215 ## $aIX, 123 p.$d30 cm
320 ## $aBibliografia, p. 111-116
328 #0 $bTese mestr.$cInformática$eDepart. Informática, Escola de Engenharia, Univ. Minho$d2004
675 ## $a004.08(043)$vBN$zpor$31230760
675 ## $a004.43XML(043)$vBN$zpor$31246092
675 ## $a004.65(043)$vBN$zpor$31229689
700 #1 $aMendes,$bGiovana$31232262
702 #1 $aHenriques,$bPedro Rangel,$f1955-$4727$391851
712 02 $aUniversidade do Minho.$bEscola de Engenharia$bDepartamento de Engenharia de Informática$4295$31210697
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 21591 V.$x1