| Registos Bibliográficos associados ao registo de autoridade |
|
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: 00869cam 02200241 04500
001 118717
003 http://id.bnportugal.gov.pt/bib/catbnp/118717
005 19981121000900.0
095 ## $aPTBN00124147
100 ## $a19890404d1988 k y0pora0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aRepresentação semântica de referências temporais em linguagem natural$bTexto policopiado]$fNelma Resende Araújo Moreira
210 #9 $aPorto$c[s.n.],$d1988
215 ## $a[3], 117, [18] f.$cil.$d30 cm
320 ## $aBibliografia, f. 115 - 117
328 ## $aTrabalho de síntese para prestação de provas de aptidão pedagógica e capacidade científica,
apresentado à Fac. de Ciências da Univ. do Porto
675 ## $a811.134.3(043)$vBN$zpor$31346886
675 ## $a519.87(043)$vBN$zpor$3297306
700 #1 $aMoreira,$bNelma Resende Araújo$3281106
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sL. 40980 V.$x1
Etiqueta de registo: 00749cam 2200229 450
001 975080
003 http://id.bnportugal.gov.pt/bib/catbnp/975080
005 19990624000000.0
095 ## $aPTBN00984347
100 ## $a19980428d1997 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aRestrições complexas sobre álgebras de árvores e aplicação a gramáticas lógicas$bTexto policopiado]$fNelma Resende Araújo Moreira
210 #9 $aPorto$c[s.n.],$d1997
215 ## $a1 v., pág. var.$cil.$d30 cm
320 ## $aContém bibliografia
328 ## $aTese dout. Ciências de Computadores, Univ. do Porto, 1997
675 ## $a621.3(043)$vBN$zpor$3297328
700 #1 $aMoreira,$bNelma Resende Araújo$3281106
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 86240 V.$x1
Etiqueta de registo: 00000nam 2200025 450
001 1881256
003 http://id.bnportugal.gov.pt/bib/catbnp/1881256
100 ## $a20140811d2013 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aTowards certified program logics for the verification of imperative programs$fDavid Miguel Ramalho Pereira$gorient. Nelma Moreira, Simão Melo de Sousa
210 #9 $aPorto$c[s.n.],$d2013
215 ## $aXIX, 144 p.$d30 cm
215 ## $a1 disco ótico (CD-ROM) em caixa$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Computer Science, Fac. de Ciências, Univ. do Porto, 2013
675 ## $a004.4(043)$vBN$zpor$3787169
675 ## $a512(043)$vBN$zpor$3297302
700 #1 $aPereira,$bDavid Miguel Ramalho$31382626
702 #1 $aMoreira,$bNelma Resende Araújo$4727$3281106
702 #1 $aSousa,$bSimão Melo de$4727$31405160
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 21506 P.$x1
966 ## $lBN$mFGMON$sP. 40324 V.$x1
Etiqueta de registo: 00000nam 2200025 450
001 1975062
003 http://id.bnportugal.gov.pt/bib/catbnp/1975062
100 ## $a20171030d2016 k y0pory01030103ba
101 0# $aeng$dpor$dfre
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aOn the descriptional complexity of some operations and simulations of regular models$fEva Catarina Gomes Maia$gorient. Rogério Ventura Lages dos Santos Reis, Nelma Resende de Araújo Moreira
210 #9 $aPorto$c[s.n.],$d2016
215 ## $aXXIV, 169 p.$d30 cm
328 #1 $aDout. Ciência de Computadores, Universidade do Porto, 2016
675 ## $a004.43(043)$vBN$zpor$31253292
700 #1 $aMaia,$bEva Catarina Gomes$31695570
702 #1 $aReis,$bRogério$4727$3442957
702 #1 $aMoreira,$bNelma Resende Araújo$4727$3281106
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 48806 V.$x1
|
|
|
