Etiqueta de registo: 00230nam 2200025 450
001 1717814
003 http://id.bnportugal.gov.pt/bib/catbnp/1717814
100 ## $a20090703d2006 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aMulti-agent system for travel services$bTexto policopiado]$fGuilherme Pereira$gsuper. Eugénio Oliveira
210 #9 $aPorto$c[s.n.],$d2006
215 ## $aXIV, 80 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM)$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 79-80
328 #0 $bTese mestr.$cArtificial Intelligence and Computer Science$eComputer Science Department, Fac. of Sciences, Oporto University$d2006
675 ## $a004.81(043)$vBN$zpor$31241076
675 ## $a159.9(043)$vBN$zpor$3299744
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $92$aPereira,$bGuilherme$31383706
702 #1 $aOliveira,$bEugénio da Costa$4727$383579
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 15978 P.$x1
966 ## $lBN$mFGMON$sP. 26584 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1716250
003 http://id.bnportugal.gov.pt/bib/catbnp/1716250
100 ## $a20090618d2006 k y0pory0103 ba
101 0# $apor$deng$dfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aWaVeSim$bTexto policopiado]$eambiente de simulação para veículos aquáticos$fAntónio Manuel Nogueira Santos$gorient. Aníbal Matos
210 #9 $aPorto$c[s.n.],$d2006
215 ## $a124 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, p. 123-124
328 #0 $bTese mestr.$cInformática$eDep. Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2006
675 ## $a004.94(043)$vBN$zpor$31227404
675 ## $a004.4(043)$vBN$zpor$3827344
675 ## $a351.3(043)$vBN$zpor$31388830
675 ## $a629.5.05(043)$vBN$zpor$31388831
700 #1 $aSantos,$bAntónio Manuel Nogueira$31381223
702 #1 $aMatos,$bAníbal Castilho Coimbra de$4727$3179536
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 16143 P.$x1
966 ## $lBN$mFGMON$sP. 26649 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1740688
003 http://id.bnportugal.gov.pt/bib/catbnp/1740688
100 ## $a20100317d2008 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aEstratégias adaptativas e auto-organizadas em redes de sensores$bTexto policopiado]$fMaria de Fátima Bartolomeu da Cruz Gonçalves$gorient. Jorge Simão
210 #9 $a[Porto$cs.n.],$d2008
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
215 ## $a88 p.$cil.$d30 cm
305 ## $aEdição impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese mestr.$cCiência de Computadores$eDep. de Ciência de Computadores, Fac. de Ciência, Univ. do Porto$d2008
675 ## $a681.58(043)$vBN$zpor$90$3408358
675 ## $a621(043)$vBN$zpor$3297307
675 ## $a004.89(043)$vBN$zpor$3911648
700 #1 $aGonçalves,$bMaria de Fátima Bartolomeu da Cruz$31414602
702 #1 $91$aSimão,$bJorge$4727$31045171
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.A. 45324 P.$x1
966 ## $lBN$mFGMON$sS.A. 130474 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1740670
003 http://id.bnportugal.gov.pt/bib/catbnp/1740670
100 ## $a20100318d2007 k y0pory0103 ba
101 0# $apor$dfre$deng
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aSelecção de algoritmos de classificação$bTexto policopiado]$ecaracterização iterativa baseada no desempenho em amostras$fRui Manuel Santos Rodrigues Leite
210 #9 $aPorto$c[s.n.],$d2007
215 ## $a149 p.$d30 cm
215 ## $a1 disco óptico (CD-ROm) em caixa$d13 x 14 x 1 cm
305 ## $aEdição impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese dout.$cCiência de Computadores$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2007
675 ## $a004.02(043)$vBN$zpor$90$31286563
675 ## $a004.63/.65(043)$vBN$zpor$31414806
675 ## $a004.85(043)$vBN$zpor$31239009
700 #1 $aLeite,$bRui Manuel Santos Rodrigues$31012388
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 16732 P.$x1
966 ## $lBN$mFGMON$sP. 28124 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1740668
003 http://id.bnportugal.gov.pt/bib/catbnp/1740668
100 ## $a20100318d2008 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aRADX$bTexto policopiado]$edesenvolvimento rápido de aplicações Web em XML$fJorge Manuel Braz Gonçalves$gorient. José Paulo Leal
210 #9 $aPorto$c[s.n.],$d2008
215 ## $a63 f.$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 #0 $bTese mestr.$cInformática$eDep. de Ciências de Computadores, Fac. de Ciências, Univ. do Porto$d2008
675 ## $a004.43(043)$vBN$zpor$90$31253292
675 ## $a004.73/.77(043)$vBN$zpor$31415552
675 ## $a004.6(043)$vBN$zpor$3788451
700 #1 $aGonçalves,$bJorge Manuel Braz$31414522
702 #1 $aLeal,$bJosé Paulo$4727$3280523
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 16628 P.$x1
966 ## $lBN$mFGMON$sP. 28042 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1740307
003 http://id.bnportugal.gov.pt/bib/catbnp/1740307
100 ## $a20100315d2007 k y0pory0103 ba
101 0# $aeng
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aEmbodied models of visual attention using recurrent neural networks$bTexto policopiado]$fRaquel Patrícia de Sousa Abreu$gorient. Jorge Simão
210 #9 $a[Porto$cs.n.],$d2007
215 ## $a100 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d9 x 10 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese mestr.$cBioinformática$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2007
675 ## $a004.8/.9(043)$vBN$zpor$31252941
675 ## $a519(043)$vBN$zpor$3476435
675 ## $a591.18(043)$vBN$zpor$31352759
700 #1 $aAbreu,$bRaquel Patrícia de Sousa$31413941
702 #1 $aSimões,$bJorge Manuel de Azevedo Pereira$4727$3114135
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 16775 P.$x1
966 ## $lBN$mFGMON$sP. 28260 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1740081
003 http://id.bnportugal.gov.pt/bib/catbnp/1740081
100 ## $a20100311d2007 k y0pory0103 ba
101 0# $apor$deng$dfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aA. I. stock exchange$bTexto policopiado]$fPaulo Manuel B. R. Santos
210 #9 $aPorto$c[s.n.],$d2007
215 ## $a148 f.$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 #0 $bTese mestr.$cInformática (Sistemas e Redes)$eDep. de Ciências e Computadores, Faculdade de Ciências, Univ. do Porto$d2007
675 ## $a004.81(043)$vBN$zpor$31241076
675 ## $a519(043)$vBN$zpor$3476435
675 ## $a336.76(043)$vBN$zpor$31230818
675 ## $a004.89(043)$vBN$zpor$3911648
700 #1 $aSantos,$bPaulo Manuel B. R.$31413614
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 16724 P.$x1
966 ## $lBN$mFGMON$sP. 28134 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1718102
003 http://id.bnportugal.gov.pt/bib/catbnp/1718102
100 ## $a20090707d2006 k y0pory01030103ba
101 0# $apor$deng$dfre
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $a Uma infra-estrutura de suporte à adaptabilidade em sites web$fPedro da Silveira Vieira da Silva$gorient. José Paulo Leal
210 #9 $aPorto$c[s.n.],$d2006
215 ## $a133 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 #0 $bTese mest.$cInformática$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2006
675 ## $a004.72/.73(043)$vBN$zpor$31221063
700 #1 $aSilva,$bPedro da Silveira Vieira da$31384169
702 #1 $aLeal,$bJosé Paulo$4727$3280523
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 15967 P.$x1
966 ## $lBN$mFGMON$sP. 26515 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1717999
003 http://id.bnportugal.gov.pt/bib/catbnp/1717999
100 ## $a20090706d2007 k y0pory0103 ba
101 0# $aeng$dfre$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aXML processing in logic programming$bTexto policopiado]$fJorge Manuel Neves Coelho$gorient. Mário Florido
210 #9 $a[Porto$cs.n.],$d2007
215 ## $a171 p.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEdição impressa e em CD-ROM
320 ## $aBibliografia, p. 163-171
328 #0 $bTese dout.$cCiência de Computadores$eDep. Ciência de Computadores, Fac. Ciências, Univ. Porto$d2007
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.43(043)$vBN$zpor$31253292
700 #1 $aCoelho,$bJorge Manuel Neves$31152244
702 #1 $aFlorido,$bAntónio Mário da Silva Marcos$4727$3797898
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 15996 P.$x1
966 ## $lBN$mFGMON$sP. 26652 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1717854
003 http://id.bnportugal.gov.pt/bib/catbnp/1717854
100 ## $a20090703d2007 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aComplexidade de comunicação$bTexto policopiado]$erelação com o tamanho dos rectângulos e com a complexidade das instâncias$fAndreia Sofia Costa Teixeira
210 #9 $aPorto$c[s.n.],$d2007
215 ## $a78 p.$d30 cm
215 ## $a1 disco óptico (CD-ROM)$d13 x 14 x 1 cm
305 ## $aEdição impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese mestr.$cInformática$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2007
675 ## $a004.05(043)$vBN$zpor$31239909
675 ## $a519.72(043)$vBN$zpor$31245507
700 #1 $aTeixeira,$bAndreia Sofia Costa$31383766
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 15980 P.$x1
966 ## $lBN$mFGMON$sP. 26592 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1717765
003 http://id.bnportugal.gov.pt/bib/catbnp/1717765
100 ## $a20090702d2007 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aOn applying program transformation to implement tabled evaluation in prolog$bTexto policopiado]$fCláudio Humberto Caldas da Silva
210 #9 $aPorto$c[s.n.],$d2007
215 ## $a1 disco óptico (CD-ROM)$cil.$d13 x 14 x 1 cm
215 ## $a150 p.$cil.$d30 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese mestr.$cInformática$eDep. de ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2007
675 ## $a004.41/.43(043)$vBN$zpor$31380775
700 #1 $aSilva,$bCláudio Humberto Caldas da$31383595
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 15959 P.$x1
966 ## $lBN$mFGMON$sP. 26516 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1717700
003 http://id.bnportugal.gov.pt/bib/catbnp/1717700
100 ## $a20090702d2006 k y0pory01030103ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aFerramentas para determinação e avaliação de soluções em problemas de horários$fDora Regina Oliveira Melo$gorient. João Pedro Pedroso Ramos dos Santos, Rogério Ventura Lages dos Santos Reis
210 #9 $aPorto$c[s.n.],$d2006
215 ## $aXII, 159 f.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM)$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, f. 153-159
328 #0 $bTese mestr.$cInformática (Ciência de Computadores)$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2006
675 ## $a004.4(043)$vBN$zpor$3827344
675 ## $a519.6(043)$vBN$zpor$31220290
675 ## $a371.1(043)$vBN$zpor$3326959
700 #1 $aMelo,$bDora Regina Oliveira$31383526
702 #1 $aReis,$bRogério$4727$3442957
702 #1 $aSantos,$bJoão Pedro Pedroso Ramos dos$4727$31383530
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 15989 P.$x1
966 ## $lBN$mFGMON$sP. 26669 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1717693
003 http://id.bnportugal.gov.pt/bib/catbnp/1717693
100 ## $a20090702d2006 k y0pory01030103ba
101 0# $apor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aAmbiente web extensível para pós-processamento de regras de associação$fRui Manuel Silva de Sousa Rocha
210 #9 $a[Porto$cs.n.],$d2006
215 ## $a107 f.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM)$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese mestr.$cInformática$eDep. de Ciências de Computadores, Fac. de Ciências, Univ. do Porto$d2006
675 ## $a004.81(043)$vBN$zpor$31241076
675 ## $a159.953(043)$vBN$zpor$3808641
675 ## $a004.73(043)$vBN$zpor$3813506
675 ## $a004.65(043)$vBN$zpor$31229689
700 #1 $aRocha,$bRui Manuel Silva de Sousa$31383523
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 15960 P.$x1
966 ## $lBN$mFGMON$sP. 26517 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1717568
003 http://id.bnportugal.gov.pt/bib/catbnp/1717568
100 ## $a20090701d2007 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aRelational storage mechanisms for tabled logic programs$fPedro Miguel Pereira Mota da Costa$gorient, Ricardo Rocha, Michel Ferreira
210 #9 $a[Porto$cs.n.],$d2007
215 ## $a169 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. 161-169
328 #1 $aTese mestr. Informática, Dep. Ciência de Computadores, Fac. Ciências, Univ. do Porto, 2007
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.43(043)$vBN$zpor$31253292
700 #1 $aCosta,$bPedro Miguel Pereira Mota da$31383376
702 #1 $aRocha,$bRicardo Esperanço da Assunção$4727$31190079
702 #1 $aFerreira,$bMichel Celestino Paiva$4727$31089177
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 16000 P.$x1
966 ## $lBN$mFGMON$sP. 26654 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1717465
003 http://id.bnportugal.gov.pt/bib/catbnp/1717465
100 ## $a20090701d2006 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aMetodologia para o desenvolvimento de uma aplicação de manipulação de exercícios e documentos associados$fÂngela Cristina Marques de Oliveira$gorient. Nelma Moreira
210 #9 $aPorto$c[s.n.],$d2006
215 ## $a[2], XVI, 98 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 mestr. Informática (Ciência de Computadores), Dep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto, 2006
675 ## $a004.8/.9(043)$vBN$zpor$31252941
675 ## $a371.26(043)$vBN$zpor$3817611
675 ## $a37.018(043)$vBN$zpor$3955999
675 ## $a004.73(043)$vBN$zpor$3813506
700 #1 $aOliveira,$bÂngela Cristina Marques de$31383260
702 #1 $aMoreira,$bNelma Resende Araújo$4727$3281106
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 15962 P.$x1
966 ## $lBN$mFGMON$sP. 26519 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1717074
003 http://id.bnportugal.gov.pt/bib/catbnp/1717074
100 ## $a20090626d2006 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aModelação lógica de agentes BDI dotados de emoções artificiais$bTexto policopiado]$fDavid Miguel Ramalho Pereira$gorient. Eugénio Oliveira, Nelma Moreira
210 #9 $aPorto$c[s.n.],$d2006
215 ## $a127 p.$d30 cm
320 ## $aBibliografia, p. 123-127
328 #0 $bTese mestr.$cInformática$eFac. de Ciências, Univ. do Porto$d2006
675 ## $a004.81(043)$vBN$zpor$31241076
675 ## $a159.942(043)$vBN$zpor$3810712
700 #1 $aPereira,$bDavid Miguel Ramalho$31382626
702 #1 $aOliveira,$bEugénio$4727$3357225
702 #1 $aMoreira,$bNelma Resende Araújo$4727$3281106
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 26642 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1702769
003 http://id.bnportugal.gov.pt/bib/catbnp/1702769
100 ## $a20090216d2007 k y0pory0103 ba
101 0# $aeng$dpor$dfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aScalable network architectures$bTexto policopiado]$esupporting quality of service$fRui Pedro de Magalhães Claro Prior$gorient. Susana Sargento
210 #9 $aPorto$c[s.n.],$d2007
215 ## $a254 p.$cil.$d30 cm
320 ## $aBibliografia, p. 237-254
328 #0 $bTese dout.$cCiências de Computadores$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2007
675 ## $a004.7(043)$vBN$zpor$3918097
675 ## $a621.39(043)$vBN$zpor$3297878
700 #1 $aPrior,$bRui Pedro de Magalhães Claro$31029068
702 #1 $aSargento,$bSusana$4727$31274673
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$x1
966 ## $lBN$mFGMON$sP. 25645 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1702624
003 http://id.bnportugal.gov.pt/bib/catbnp/1702624
100 ## $a20090213d2007 k y0pory0103 ba
101 0# $aeng$dpor$dfre
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aLinearisation of the lambda-calculus$fSandra Maria Mendes Alves$gorient. Mário Florido
210 #9 $aPorto$c[s.n.],$d2007
215 ## $a197 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 #0 $bTese dout.$cCiência de Computadores$eDep, de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2007
675 ## $a004.02(043)$vBN$zpor$31286563
675 ## $a519.85(043)$vBN$zpor$31221125
700 #1 $aAlves,$bSandra Maria Mendes$31052455
702 #1 $aFlorido,$bAntónio Mário da Silva Marcos$4727$3797898
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 15749 P.$x1
966 ## $lBN$mFGMON$sP. 25659 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1702619
003 http://id.bnportugal.gov.pt/bib/catbnp/1702619
100 ## $a20090213d2006 k y0pory0103 ba
101 0# $aeng$dpor$dfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aParallelism in inductive logic programming systems$bTexto policopiado]$fNuno Alberto Paulino da Fonseca$gorient. Fernando Silva, Rui Camacho
210 #9 $a[Porto$cs.n.],$d2006
215 ## $a221 p.$cil.$d30 cm
320 ## $aBibliografia, 199-216
328 #0 $bTese dout.$cCiência de Computadores$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2006
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.8(043)$vBN$zpor$31234122
675 ## $a004.02(043)$vBN$zpor$31286563
700 #1 $aFonseca,$bNuno Alberto Paulino da$31012390
702 #1 $aSilva,$bFernando,$f1960-$4727$3777129
702 #1 $aSilva,$bRui Carlos Camacho de Sousa Ferreira da$4727$3408370
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 25642 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1679598
003 http://id.bnportugal.gov.pt/bib/catbnp/1679598
100 ## $a20080311d2006 k y0pory0103 ba
101 0# $apor$dengg
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aEnsino da matemática numa perspectiva de instrução ancorada$bTexto policopiado]$fCristina Maria Valente Rodrigues Pereira$gorient. Álvaro Pedro de Barros Borges Reis Figueira, José Vasconcelos da Costa Pereira
210 #9 $aPorto$c[s.n.],$d2006
215 ## $a[1] f., X, 306 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. 149-154
328 #0 $bTese mestr.$cEducação Multimédia$eDep. de Química e de Ciências de Computadores, Fac. de Ciências, Univ. do Porto$d2006
606 ## $aMatemática$xEnsino/aprendizagem $xImportância da resolução de problemas$yPortugal$j[Teses]$2SIPOR$3182205
606 ## $aMatemática$xEnsino/aprendizagem$xUtilização das tecnologias da informação e comunicação$yPortugal$j[Teses]$2SIPOR$3129266
606 ## $aAlunos portugueses de matemática do ensino básico segundo ciclo$xSucesso escolar$xInfluências da resolução de problemas$yPortugal$j[Teses]$2SIPOR$31088986
675 ## $a371.3(469)(043)$vBN$zpor$31459308
675 ## $a51(469)(043)$vBN$zpor$3760224
675 ## $a004.73(469)(043)$vBN$zpor$3960197
700 #1 $aPereira,$bCristina Maria Valente Rodrigues$31320832
702 #1 $aFigueira,$bÁlvaro Reis$4727$3212411
702 #1 $aPereira,$bDuarte da Costa$4727$326500
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Química$4295$31207606
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.C. 36749 P.$x1
966 ## $lBN$mFGMON$sS.C. 114831 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1652637
003 http://id.bnportugal.gov.pt/bib/catbnp/1652637
100 ## $a20070816d2004 k y0pory0103 ba
101 0# $apor $deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aExtensão do modelo de detecção de spam com análise Bayesiana$bTexto policopiado]$fRui Manuel da Costa Gouveia$gorient. Eduardo Correia
210 #9 $aPorto$c[s.n.],$d2004
215 ## $a165 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 161-165
328 #0 $bTese mestr.$cInformática (especial. Sistemas e Redes)$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2004
675 ## $a004.77(043)$vBN$zpor$31229690
675 ## $a004.4(043)$vBN$zpor$3827344
675 ## $a519.22(043)$vBN$zpor$31239747
700 #1 $aGouveia,$bRui Manuel da Costa$31300437
702 #1 $93$aCorreia,$bEduardo,$f1964-$4727$31228972
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $b001$d2º v.$eAnexos$lBN$mDEM$sS.A. 117777 V.$x1
966 ## $b001$d1º v.$lBN$mFGMON$sS.A. 117776 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1652262
003 http://id.bnportugal.gov.pt/bib/catbnp/1652262
100 ## $a20070809d2005 k y0pory0103 ba
101 0# $aeng $dpor $dfre
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aHierarchical clustering of time series data streams$bTexto policopiado]$fPedro Pereira Rodrigues
210 #9 $aPorto$c[s.n.],$d2005
215 ## $a100 p.$cil.$d30 cm
320 ## $aBibliografia, p. 91-97
328 #0 $bTese mestr.$cInformática (Ciência de Computadores)$eDep. de Ciências de Computadores, Fac. de Ciências, Univ. do Porto$d2005
675 ## $a004.6(043)$vBN$zpor$31238716
675 ## $a519.24(043)$vBN$zpor$31221038
700 #1 $aRodrigues,$bPedro Pereira$31300967
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 23076 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1652248
003 http://id.bnportugal.gov.pt/bib/catbnp/1652248
100 ## $a20070809d2005 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aSegurança absoluta em sistemas de Cifra de Chave Simétrica$bTexto policopiado]$fLiliana Salvador$gorient. Luís Filipe Coelho Antunes
210 #9 $aPorto$c[s.n.],$d2005
215 ## $a83 p.$d30 cm
320 ## $aBibliografia, p. 80-83
328 #0 $bTese mestr.$cInformática (especial. Ciência de Computadores)$eDep. de Ciências de Computadores, Fac. de Ciências, Univ. do Porto$d2005
675 ## $a519.72(043)$vBN$zpor$31245507
675 ## $a004.05(043)$vBN$zpor$31239909
675 ## $a003.26(043)$vBN$zpor$31230724
700 #1 $aSalvador,$bLiliana$31301315
702 #1 $aAntunes,$bLuís Filipe Coelho$4727$31089751
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 117786 V.$x1

Etiqueta de registo: 01227nam 2200289 450
001 1333203
003 http://id.bnportugal.gov.pt/bib/catbnp/1333203
100 ## $a20051007d2004 k y0pory0103 ba
101 0# $aeng$dpor $dfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aDesign and implementation of a distributed system with mobility based on a process calculus$bTexto policopiado]$fÁlvaro Pedro de Barros Borges Reis Figueira
210 #9 $aPorto$c[s.n.],$d2004
215 ## $a167 p.$cil.$d30 cm
320 ## $aBibliografia, p. 159-167
328 ## $bTese dout.$cCiência de Computadores$eDepart. Ciência de Computadores, Fac. Ciências, Univ. Porto$d2004
675 ## $a004.43DiTyCo(043)$vBN$zpor$vBN$zpor$31238979
675 ## $a004.7(043)$vBN$zpor$vBN$zpor$3918097
700 #1 $aFigueira,$bÁlvaro Reis$3212411
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
856 40 $uhttps://purl.pt/12292
856 41 $uhttps://purl.pt/12292/service/media/cover/low
958 ## $aBND$bInterno$cNascido digital
966 ## $lBN$mBND$nDocumento electrónico$sPURL 12292/0
966 ## $lBN$mBND$nDocumento electrónico$sPURL 12292/1
966 ## $lBN$mFGMON$sP. 21162 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1372532
003 http://id.bnportugal.gov.pt/bib/catbnp/1372532
100 ## $a20060608d2004 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $a m 001yy
106 ## $ar
200 1# $aObtenção de expressões regulares pequenas a partir de autómatos finitos$bTexto policopiado]$fJosé João Gonçalves Morais
210 #9 $aPorto$c[s.n.],$d2004
215 ## $aXII, 116 p.$d30 cm
320 ## $aBibliografia, p. 79-82
328 #0 $bTese mestr.$cInformática$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2004
675 ## $a519.7(043)$vBN$zpor$31229234
700 #1 $aMorais,$bJosé João Gonçalves$31243151
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 113425 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1372829
003 http://id.bnportugal.gov.pt/bib/catbnp/1372829
100 ## $a20060612d2002 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aCanal SCADA na web$bTexto policopiado]$fMiguel Ferreira Pereira Gomes$gorient. João Correia Lopes
210 #9 $aPorto$c[s.n.],$d2002 [D.L. 2005]
215 ## $aXV, 118 f.$cil.$d30 cm
320 ## $aBibliografia, f. 114-118
328 #0 $bTese mestr.$cInformática$eDep. de Ciências de Computadores, Fac. de Ciências, Univ. do Porto$d2002
675 ## $a004.73(043)$vBN$zpor$3813506
675 ## $a004.4(043)$vBN$zpor$3827344
700 #1 $aGomes,$bMiguel Ferreira Pereira$31243016
702 #1 $aLopes,$bJoão Correia$4727$3902633
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 21741 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1372889
003 http://id.bnportugal.gov.pt/bib/catbnp/1372889
100 ## $a20040614d2004 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $a Uma implementação multithreaded da linguagem TyCO$bTexto policopiado]$fPedro Manuel Vieira Marques$gorient. Luís Lopes
210 #9 $aPorto$c[s.n.],$d2004
215 ## $a94 p. $cil.$d29 cm
320 ## $aBibliografia, p. 91-94
328 #0 $bTese mestr.$cCiência de Computadores$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2004
675 ## $a004.43(043)$vBN$zpor$31253292
675 ## $a519.76(043)$vBN$zpor$31237623
700 #1 $aMarques,$bPedro Manuel Vieira$31245074
702 #1 $aLuís,$bLopes$4727$388399
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 21950 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1373163
003 http://id.bnportugal.gov.pt/bib/catbnp/1373163
100 ## $a20060616d2003 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $a Um sistema baseado na separação de ambientes para execução distribuída de Prolog$bTexto policopiado]$fRolando da Silva Martins$gorient. Fernando da Silva, Ricardo Rocha
210 #9 $aPorto$c[s.n.],$d2003 [D.L. 2005]
215 ## $a101 f.$cil.$d30 cm
320 ## $aBibliografia, f. 100-101
328 #0 $bTese mestr.$cInformática$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2003
675 ## $a004.43(043)$vBN$zpor$31253292
675 ## $a004.8(043)$vBN$zpor$31234122
700 #1 $aMartins,$bRolando da Silva$31243672
702 #1 $aSilva,$bFernando da$4727$3321658
702 #1 $aRocha,$bRicardo Jorge Gomes Lopes da$4727$31052564
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 21735 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1373333
003 http://id.bnportugal.gov.pt/bib/catbnp/1373333
100 ## $a20060619d2004 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aInternet traffic engineering$bTexto policopiado]$e an artificial intelligence approach$fAlexessander da Silva Couto Alves$g[orient.] Eugénio Oliveira, Rui Camacho
210 #9 $aPorto$c[s.n.],$d2004
215 ## $a152 p.$cil.$d30 cm
320 ## $aBibliografia, p. 138-152
328 #0 $bTese mestr.$cCiência de Computadores$eDep. de Ciências de Computadores, Fac. de Ciências, Univ. do Porto$d2004
675 ## $a004.73(043)$vBN$zpor$3813506
675 ## $a004.8(043)$vBN$zpor$31234122
700 #1 $aAlves,$bAlexessander da Silva Couto$31245162
702 #1 $aOliveira,$bEugénio$4727$3357225
702 #1 $aSilva,$bRui Carlos Camacho de Sousa Ferreira da$4727$3408370
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 21949 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1373395
003 http://id.bnportugal.gov.pt/bib/catbnp/1373395
100 ## $a20060620d2003 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aInterfaces web para aplicações SCADA$bTexto policopiado]$fRicardo Jorge Nogueira Fernandes$gorient. João Correia Lopes
210 #9 $aPorto$c[s.n.],$d2003
215 ## $aXIX, 185 f.$cil.$d30 cm
320 ## $aBibliografia, f. 181-185
328 #0 $bTese mestr.$cInformática$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2003
675 ## $a004.03(043)$vBN$zpor$31229757
675 ## $a004.4(043)$vBN$zpor$3827344
675 ## $a004.73(043)$vBN$zpor$3813506
700 #1 $aFernandes,$bRicardo Jorge Nogueira$31243456
702 #1 $aLopes,$bJoão Correia$4727$3902633
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 21746 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1373408
003 http://id.bnportugal.gov.pt/bib/catbnp/1373408
100 ## $a20060620d2004 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $a An emotion based agent architecture$bTexto policopiado]$fLuís Morais Sarmento$gorient. Eugénio de Oliveira
210 #9 $aPorto$c[s.n.],$d2004
215 ## $a168 p.$cil.$d30 cm
320 ## $aBibliografia, p. 139-143
328 #0 $bTese mestr.$cInteligência Artificial e Computação$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2004
675 ## $a004.81(043)$vBN$zpor$31241076
675 ## $a159.942(043)$vBN$zpor$3810712
700 #1 $aSarmento,$bLuis Morais$31243479
702 #1 $aOliveira,$bEugénio de$4727$3357226
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 21757 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1373413
003 http://id.bnportugal.gov.pt/bib/catbnp/1373413
100 ## $a20060620d2004 k y0pory0103 ba
101 0# $apor $deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aMinimização do número de vigilantes em galerias de arte por aproximações sucessivas$bTexto policopiado]$fFábio Marques$g[orient.] Ana Paula Tomás, António Leslie Bajuelos
210 #9 $aPorto$c[s.n],$d2004
215 ## $aXIX, 119 p.$cil.$d30 cm
320 ## $aBibliografia, p. 119-119
328 #0 $bTese mestr.$cCiências de Computadores$eDep. de Ciências de Computadores Fac. de Ciências, Univ. do Porto$d2004
675 ## $a519.6/.7(043)$vBN$zpor$31246935
675 ## $a514.11(043)$vBN$zpor$31238580
675 ## $a004.4(043)$vBN$zpor$3787169
700 #1 $aMarques,$bFábio$31245187
702 #1 $aBajuelos,$bAntónio Leslie$4727$31245186
702 #1 $aTomás,$bAna Paula Nunes Gomes$4727$3265084
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 113066 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1385169
003 http://id.bnportugal.gov.pt/bib/catbnp/1385169
100 ## $a20061110d2004 k y0pory0103 ba
101 0# $aeng$dpor $dfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aLearning rankings of learning algorithms$bTexto policopiado]$erecommendation of algorithms with meta-learning$fCarlos Manuel Milheiro de Oliveira Pinto Soares
210 #9 $aPorto$c[s.n.],$d2004
215 ## $a138 p.$cil.$d30 cm
320 ## $aBibliografia, p. 135-138
328 #0 $bTese dout.$cCiência de Computadores$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2004
675 ## $a004.85(043)$vBN$zpor$31239009
675 ## $a004.22(043)$vBN$zpor$31276317
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aSoares,$bCarlos Manuel Milheiro de Oliveira Pinto$3952836
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 22390 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1726215
003 http://id.bnportugal.gov.pt/bib/catbnp/1726215
100 ## $a20091008d2007 k y0pory01030103ba
101 0# $apor$dfre$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aAutómatos finitos$emanipulação, geração e contagem$fRogério Reis
210 #9 $aPorto$c[s.n.],$d2007
215 ## $aXVI, 175 p.$cil.$d30 cm
320 ## $aBibliografia, p. 153-163
328 #1 $aTese dout. Ciência de Computador, Dep. de Ciência de Computadores Fac. de Ciências Univ. do Porto, 2007
675 ## $a004.9(043)$vBN$zpor$90$3788403
675 ## $a004.4(043)$vBN$zpor$3827344
675 ## $a519.71(043)$vBN$zpor$3389481
700 #1 $aReis,$bRogério$3442957
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 27022 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1449993
003 http://id.bnportugal.gov.pt/bib/catbnp/1449993
100 ## $a20061220d2005 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aAGISA - ambiente de gestão integrado da sala de aula$bTexto policopiado]$fSónia Alexandra Ferreira da Silva e Sousa$gorient. Luís Damas, Rogério Reis
210 #9 $aPorto$c[s.n.],$d2005
215 ## $a114 p.$cil.$d30 cm
320 ## $aBibliografia, p. 113-114
328 #0 $bTese mestr.$cInformática$eDep. de Ciências de Computadores, Fac. de Ciências, Univ. do Porto$d2005
606 ## $aProfessores portugueses$xPráticas pedagógicas$xContribuições do software educativo$j[Teses]$2SIPOR$31319809
606 ## $aAgisa (Programas de computador)$x[Teses]$2SIPOR$31319810
675 ## $a371.33(469)(043)$vBN$zpor$31222616
675 ## $a004.42(469)(043)$vBN$zpor$31094477
675 ## $a371.68(469)(043)$vBN$zpor$31297748
700 #1 $aSousa,$bSónia Alexandra Ferreira da Silva e$31274718
702 #1 $aDamas,$bLuís Manuel Dias,$f1966-$4727$3922720
702 #1 $aReis,$bRogério$4727$3442957
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.C. 110105 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1373200
003 http://id.bnportugal.gov.pt/bib/catbnp/1373200
100 ## $a20060619d2004 k y0pory0103 ba
101 0# $apor$deng $dfre
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aAbordagens para decomposição de problemas multiclasse$bTexto policopiado]$e os códigos de correcção de erros de saída$fEdgar Maciel Correia Pimenta$gorient. João Gama
210 #9 $aPorto$c[s.n.],$d2004
215 ## $a102 f.$d30 cm
320 ## $aBibliografia, f. 98-100
328 #0 $bTese mestr.$cInformática$eDep. de Ciência de Computadores da Fac. de Ciências da Univ. do Porto$d2004
675 ## $a004.6(043)$vBN$zpor$31238716
675 ## $a621.39(043)$vBN$zpor$3297878
675 ## $a025.4.01(043)$vBN$zpor$31253270
700 #1 $aPimenta,$bEdgar Maciel Correia$31245182
702 #1 $aGama,$bJoão,$f1954-$4727$3184244
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 21948 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1679736
003 http://id.bnportugal.gov.pt/bib/catbnp/1679736
100 ## $a20080312d2006 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $a Um debugger para a linguagem de programação TyCO$bTexto policopiado]$fRicardo Manuel Pereira Santos Silva$gorient. Luís Miguel Barros Lopes
210 #9 $aPorto$c[s.n.],$d2006
215 ## $a115 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$d15 x 13 x 1 cm
305 ## $aEdição impressa e em CD-ROM
320 ## $aBibliografia, p. 113-115
328 #0 $bTese mestr.$cInformática$eDepart. Ciência de Computadores, Fac. Ciências, Univ. Porto$d2006
675 ## $a004.43(043)$vBN$zpor$31253292
675 ## $a519.76(043)$vBN$zpor$31237623
700 #1 $aSilva,$bRicardo Miguel Pereira Santos$31324428
702 #1 $aLopes,$bLuís Miguel Barros$4727$3184178
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 15205 P.$x1
966 ## $lBN$mFGMON$sP. 24202 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1740483
003 http://id.bnportugal.gov.pt/bib/catbnp/1740483
100 ## $a20100316d2008 k y0pory0103 ba
101 0# $aeng$dpor $dfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aApplications of kolmogorov complexity to cryptography$bTexto policopiado]$fAlexandre Jorge Teixeira Miranda Pinto
210 #9 $aPorto$c[s.n.],$d2007
215 ## $a164 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$d13 x 15 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese dout.$cCiência de Computadores$eDep. de Ciências de Computadores, Fac. de Ciências, Univ. do Porto$d2007
675 ## $a004.05(043)$vBN$zpor$31239909
675 ## $a519(043)$vBN$zpor$3476435
700 #1 $aPinto,$bAlexandre Jorge Teixeira Miranda$31414217
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 16727 P.$x1
966 ## $lBN$mFGMON$sP. 28131 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1372925
003 http://id.bnportugal.gov.pt/bib/catbnp/1372925
100 ## $a20060614d2004 k y0pory0103 ba
101 0# $apor g
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aEdição estrutural de documentos XML sobre web$bTexto policopiado]$fRicardo Alexandre Peixoto de Queirós$gorient. José Paulo Leal
210 #9 $aPorto$c[s.n.],$d2004
215 ## $a335 p.$cil.$d30 cm
320 ## $aBibliografia, p. 331-335
328 #0 $bTese mestr.$cCiências de Computadores$eDep. de Ciências de Computadores da Fac. de Ciências da Univ. do Porto$d2004
675 ## $a004.77(043)$vBN$zpor$31229690
675 ## $a004.73(043)$vBN$zpor$3813506
675 ## $a004.01(043)$vBN$zpor$31256374
700 #1 $aQueirós,$bRicardo$31243766
702 #1 $aLeal,$bJosé Paulo$4727$3280523
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 21733 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1445083
003 http://id.bnportugal.gov.pt/bib/catbnp/1445083
100 ## $a20061218d2005 k y0pory0103 ba
101 0# $aeng $dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aCoupling logic programming with relational databases$bTexto policopiado]$fSabrina Vieira da Silva$gorient. Michel Ferreira, Ricardo Rocha
210 #9 $aPorto$c[s.n.],$d2005
215 ## $a101 p.$cil.$d30 cm
320 ## $aBibliografia, p. 95-101
328 #0 $bTese mestr.$cInformática$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2005
675 ## $a004.6(043)$vBN$zpor$31238716
675 ## $a004.43(043)$vBN$zpor$31253292
700 #1 $aSilva,$bSabrina Vieira da$31270114
702 #1 $aFerreira,$bMichel Celestino Paiva$4727$31089177
702 #1 $aRocha,$bRicardo Esperanço da Assunção$4727$31190079
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 22787 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1467473
003 http://id.bnportugal.gov.pt/bib/catbnp/1467473
100 ## $a20061221d2004 k y0pory0103 ba
101 0# $apor $deng
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $a Um sistema de ficheiros distribuído para uma arquitectura peer-to-peer$bTexto policopiado]$fJoão Paulo Ferreira de Magalhães$gorient. Fernando Silva, Luís Lopes
210 #9 $aPorto$c[s.n.],$d2004
215 ## $a139 p.$cil.$d30 cm
320 ## $aBibliografia, p. 137-139
328 #0 $bTese mestr.$cInformática$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2004
675 ## $a004.2(043)$vBN$zpor$31234195
675 ## $a004.63(043)$vBN$zpor$31240725
700 #1 $aMagalhães,$bJoão Paulo Ferreira de$31279714
702 #1 $aSilva,$bFernando da$4727$3321658
702 #1 $aLopes,$bLuís,$f1971-$4727$3287394
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 22858 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1507437
003 http://id.bnportugal.gov.pt/bib/catbnp/1507437
100 ## $a20061228d2004 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aSegurança em cenários de VoIP$bTexto policopiado]$fRomeu Silva$gorient. Susana Sargento
210 #9 $aPorto$c[s.n.],$d2004
215 ## $aXXIII, 220 p.$cil.$d30 cm
320 ## $aBibliografia, p. 191-196
328 #0 $bTese mestr.$cInformática$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2004
675 ## $a004.7(043)$vBN$zpor$3918097
675 ## $a004.49(043)$vBN$zpor$31221062
700 #1 $aSilva,$bRomeu$31273479
702 #1 $aSargento,$bJoana$4727$31273480
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 22578 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1507562
003 http://id.bnportugal.gov.pt/bib/catbnp/1507562
100 ## $a20061229d2005 k y0pory0103 ba
101 0# $apor $deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aSegurança em arquitecturas de rede para acesso sem fios$bTexto policopiado]$fLuís Manuel Cerqueira Barreto$gorient. Susana Sargento, Luís Antunes
210 #9 $aPorto$c[s.n.],$d2005
215 ## $aXXV, 209, [1] f.$cil.$d30 cm
320 ## $aBibliografia, f. 187-194
328 #0 $bTese mestr.$cInformática$eDep. de Ciências de Computadores, Fac. de Ciências, Univ. do Porto$d2005
675 ## $a004.2(043)$vBN$zpor$31234195
675 ## $a004.7(043)$vBN$zpor$3918097
675 ## $a004.49(043)$vBN$zpor$31221062
700 #1 $aBarreto,$bLuís Manuel Cerqueira,$f1972-$31274668
702 #1 $aSargento,$bSusana$4727$31274673
702 #1 $92$aAntunes,$bLuís$4727$31274676
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 22777 V.$x1