Etiqueta de registo: 00230nam 2200025 450
001 1780309
003 http://id.bnportugal.gov.pt/bib/catbnp/1780309
100 ## $a20110519d2009 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aSheaves, local homeomorphisms and local sets as hilbert locale modules$fLuís Elias Ribeiro Rodrigues$gorient. Pedro Manuel Agostinho Resende
210 #9 $aFunchal$c[s.n.],$d2009
215 ## $a65 f.$d30 cm
320 ## $aBibliografia, f. 63-65
328 #1 $aTese dout. Matemática (Geometria), Univ. da Madeira, 2009
675 ## $a514.77(043)$vBN$zpor$31292559
700 #1 $aRodrigues,$bLuís Elias Ribeiro$31460940
702 #1 $aResende,$bPedro$4727$346660
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 141721 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1307788
003 http://id.bnportugal.gov.pt/bib/catbnp/1307788
100 ## $a20050114d2003 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aQuantales e módulos involutivos numa generalização não comutativa da representação de Gelfand$bTexto policopiado]$fVanda Marisa da Rosa Milheiro Lourenço$gorient. Pedro Manuel Agostinho Resende
210 #9 $aLisboa$c[s.n.],$d2003
215 ## $aVIII, 74 p.$cil.$d30 cm
320 ## $aBibliografia, p. 73-74
328 #0 $bTese mestr.$cMatemática Aplicada$eInstituto Superior Técnico da Universidade Técnica de Lisboa$d2003
675 ## $a512(043)$vBN$zpor$3297302
675 ## $a515.1(043)$vBN$zpor$31221375
700 #1 $aLourenço,$bVanda Marisa da Rosa Milheiro$31195131
702 #1 $aResende,$bPedro$4727$346660
712 02 $aUniversidade Técnica de Lisboa.$bInstituto Superior Técnico$4295$3175770
966 ## $lBN$mFGMON$sS.A. 109847 V.$x1

Etiqueta de registo: 01214nam 2200313 450
001 1307790
003 http://id.bnportugal.gov.pt/bib/catbnp/1307790
100 ## $a20050114d2004 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aSuporte de quantales e aplicações à lógica modal$bTexto policopiado]$fCátia Raquel Jesus Vaz$gorient. Pedro Manuel Agostinho Resende
210 #9 $aLisboa$c[s.n.],$d2004
215 ## $aIII, 80 f.$d30 cm
320 ## $aBibliografia, f. 76-78
328 #0 $bTese mestr.$cMatemática Aplicada$eInstituto Superior Técnico da Universidade Técnica de Lisboa$d2004
675 ## $a510(043)$vBN$zpor$31225910
675 ## $a512(043)$vBN$zpor$3297302
675 ## $a519.76(043)$vBN$zpor$31237623
700 #1 $aVaz,$bCátia Raquel Jesus$31195135
702 #1 $aResende,$bPedro$4727$346660
712 02 $aUniversidade Técnica de Lisboa.$bInstituto Superior Técnico$4295$3175770
856 40 $uhttps://purl.pt/7367
856 41 $uhttps://purl.pt/7367/service/media/cover/low
958 ## $aBND$bInterno$cNascido digital
966 ## $lBN$mBND$nDocumento electrónico$sPURL 7367/0
966 ## $lBN$mBND$nDocumento electrónico$sPURL 7367/1
966 ## $lBN$mFGMON$sS.A. 109848 V.$x1

Etiqueta de registo: 00936cam 2200241 450
001 987979
003 http://id.bnportugal.gov.pt/bib/catbnp/987979
005 19990626000000.0
095 ## $aPTBN01000218
100 ## $a19980626d1997 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aTropological systems and observational logic in concurrency and specification$bTexto policopiado]$fPedro Manuel Agostinho Resende
210 #9 $aLisboa$c[s.n.],$d1997
215 ## $aX, 222 p.$cil.$d32 cm$eSistemas tropológicos e lógica Observacional em Concorrência e Especificação (15 f.)
320 ## $aBibliografia, p. 213-222
328 ## $aTese dout. Matemática, Univ. Téc. de Lisboa, 1997
675 ## $a510.6(043)$vBN$zpor$31303923
700 #1 $aResende,$bPedro$346660
801 #0 $aPT$bBN$gRPC
966 ## $c2$lBN$mFGMON$nDupl. de folhas soltas em caixa$sS.A. 7321 A.$x1
966 ## $c2$lBN$mFGMON$nDupl. de folhas soltas em caixa$sS.A. 7321 A.$x1

Etiqueta de registo: 00746cam 2200229 450
001 337803
003 http://id.bnportugal.gov.pt/bib/catbnp/337803
005 19981229000000.0
095 ## $aPTBN00356057
100 ## $a19920210d1991 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $ay m 001aa
106 ## $ar
200 1# $aTableaux para lógica dinâmica proposicional$bTexto policopiado]$fPedro Manuel Agostinho Resende
210 #9 $aLisboa$c[s.n.],$d1991
215 ## $a[4], 96 f.$d30 cm
320 ## $aBibliografia, p. 93-96
328 ## $aTese de mestrado em Matemática Aplicada apresentada ao Inst. Sup. Técnico da Univ. Técnica de Lisboa
675 ## $a510(043)$vBN$zpor$31225910
700 #1 $aResende,$bPedro$346660
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 71965 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2005239
003 http://id.bnportugal.gov.pt/bib/catbnp/2005239
100 ## $a20181114d2018 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aSheaves and functoriality of groupoid quantales$fJuan Pablo Quijano Lotero$gorient. Pedro Manuel Agostinho Resende
210 #9 $aLisboa$c[s.n.],$d2018
215 ## $aX, 133 p.$d30 cm
328 #1 $aTese dout. Mathematics, Inst. Superior Técnico, Univ. de Lisboa, 2018
675 ## $a512.5(043)$vBN$zpor$31263240
700 #1 $aQuijano Lotero,$bJuan Pablo$31731714
702 #1 $aResende,$bPedro$4727$346660
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 170160 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2023801
003 http://id.bnportugal.gov.pt/bib/catbnp/2023801
010 ## $a978-972-23-6342-6
021 ## $aPT$z451759/19
100 ## $a20190607d2019 m y0pory01030103ba
101 1# $apor$ceng
102 ## $aPT
105 ## $aa z 001yy
106 ## $ar
200 1# $a A história da ciência para pessoas com pressa$fNicola Chalton, Meredith MacArdle$gtrad. Alberto Gomes$grev. cient. Pedro Resende
205 ## $a1ª ed
210 #9 $aBarcarena$cPresença,$d2019
215 ## $a239, [1] p.$cil.$d23 cm
304 ## $aTít. orig.: The great scientists in bite-sized chunks
675 ## $a5/6(091)$vBN$zpor$3297991
675 ## $a5/6A/Z$vBN$zpor$3472336
700 #1 $aChalton,$bNicola$31718805
701 #1 $aMacArdle,$bMeredith$4070$31718806
702 #1 $95$aGomes,$bAlberto$4730$3287838
702 #1 $aResende,$bPedro$4695$346660
801 #0 $aPT$bBN$gRPC
856 41 $uhttp://rnod.bnportugal.gov.pt/ImagesBN/winlibimg.aspx?skey=&doc=2023801&img=127054&save=true
900 ## $aBIBNAC$d20190712
966 ## $lBN$mFGMON$sS.A. 172264 V.$x1
966 ## $lBN$mFGMON$sS.A. 172264 V.-D$x1

Etiqueta de registo: 00000nam 2200025 450
001 2031490
003 http://id.bnportugal.gov.pt/bib/catbnp/2031490
010 ## $a978-989-8895-51-6
021 ## $aPT$b455328/19
100 ## $a20191016d2019 e y0pory01030103ba
101 1# $apor$ceng
102 ## $aPT
105 ## $aa j 000yy
106 ## $ar
200 1# $aResumos de matemática o caderno do melhor aluno$eguia escolar completo para o 3º ciclo$ftexto Altair Peterson$gil. Chris Pearce$gtrad. Pedro Resende
205 ## $a1ª ed
210 #9 $aBarcarena$cJacarandá,$d2019
215 ## $a518 p.$cil.$d21 cm
304 ## $aTít. orig.: Everything you need to ace math in on big fat notebook : the complete middle school study guide
675 ## $a51(072)$vBN$zpor$31253070
700 #1 $aPeterson,$bAltair$31765895
702 #1 $aPearce,$bChris$4440$31765896
702 #1 $aResende,$bPedro$4730$346660
801 #0 $aPT$bBN$gRPC
856 41 $uhttp://rnod.bnportugal.gov.pt/ImagesBN/winlibimg.aspx?skey=&doc=2031490&img=131125&save=true
900 ## $aBIBNAC$d20191031
966 ## $lBN$mFGMON$sS.A. 173176 V.$x1
966 ## $lBN$mFGMON$sS.A. 173176 V.-D$x1

Etiqueta de registo: 00000nam 2200025 450
001 2073440
003 http://id.bnportugal.gov.pt/bib/catbnp/2073440
010 ## $a978-972-23-6675-5
021 ## $aPT$b476010/20
100 ## $a20210621d2021 a y0pory01030103ba
101 1# $apor$ceng
102 ## $aPT
105 ## $aa z 000yy
106 ## $ar
200 1# $aÀ descoberta do universo$fStephen Hawking, Lucy Hawking$gil. Jan Bielecki$gtrad. Alberto Gomes$grev. téc. Pedro Resende, José Natário
205 ## $a1ª ed
210 #9 $aLisboa$cPresença,$d2021
215 ## $a412, [8] p.$cil.$d23 cm
304 ## $aTít. orig.: Unlocking the universe
675 ## $a087.5$vBN$zpor$3287999
675 ## $a523(0.053.6)$vBN$zpor$31424621
675 ## $a524(0.053.6)$vBN$zpor$31650651
700 #1 $aHawking,$bStephen W.,$f1942-2018$356499
701 #1 $aHawking,$bLucy,$f1970-$4070$31397680
702 #1 $aBielecki,$bJan$4440$31812091
702 #1 $95$aGomes,$bAlberto$4730$3287838
702 #1 $aResende,$bPedro$4695$346660
702 #1 $aNatário,$bJosé$4695$3180479
801 #0 $aPT$bBN$gRPC
856 41 $uhttp://rnod.bnportugal.gov.pt/ImagesBN/winlibimg.aspx?skey=&doc=2073440&img=152368&save=true
900 ## $aBIBNAC$d20210719
966 ## $lBN$mFGMON$sP. 57952 V.$x1
966 ## $lBN$mFGMON$sP. 57952 V.-D$x1
972 ## $d20210719$e1$vmsebas
973 ## $cmlsousa $d20210714
974 ## $d20210714$e0$vaalmeid