Open Data Biblioteca Nacional de Portugal


República Portuguesa: Ministério da Cultura
Biblioteca Nacional de Portugal

Catálogo da BNP: acesso por Identificadores Unívocos
Registos Bibliográficos associados ao registo de autoridade

Etiqueta de registo: 00000nam 2200025 450
001 1944535
003 http://id.bnportugal.gov.pt/bib/catbnp/1944535
100 ## $a20161017d2016 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $a A type system for value-dependent information flow analysis$fMaria Luísa Sobreira Gouveia Loureço$gorient. Luís Caires
210 #9 $aLisboa$c[s.n.],$d2016
215 ## $aXV, [1], 237 p.$d30 cm
328 #1 $aTese dout. informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2016
675 ## $a621.38(043)$vBN$zpor$3335621
700 #1 $aLoureço,$bMaria Luísa Sobreira Gouveia$31660793
702 #1 $aCaires,$bLuís$4727$3179014
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 163402 V.$x1

Etiqueta de registo: 00736cam 2200217 450
001 1035967
003 http://id.bnportugal.gov.pt/bib/catbnp/1035967
005 20001121152700.0
100 ## $a20001017d1999 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $a A model for declarative programming and specification with concurrency and mobility$bTexto policopiado]$fLuís Manuel Marques da Costa Caires
210 #9 $aLisboa$c[s.n.],$d1999
215 ## $aXX, 270 p.$d30 cm
320 ## $aBibliografia, p. 221-234
328 ## $aTese dout. Informática, Univ. Nova de Lisboa, 1999
675 ## $a004.42/.43(043.2)$vBN$zpor$3793076
675 ## $a519.68(043.2)$vBN$zpor$3342254
700 #1 $aCaires,$bLuís$3179014
966 ## $lBN$mFGMON$sP. 15429 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1803488
003 http://id.bnportugal.gov.pt/bib/catbnp/1803488
100 ## $a20120213d2010 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $a A calculus for modeling and analyzing conversations in service-oriented computing$fHugo Filipe Mendes Torres Vieira$gorient. Luís Caires
210 #9 $aLisboa$c[s.n.],$d2010
215 ## $aXVIII, 292 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 ## $aBibliografia, p. 179-186
328 #1 $aTese dout. Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa, 2010
675 ## $a004.9(043)$vBN$zpor$3788403
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aVieira,$bHugo Filipe Mendes Torres$31483667
702 #1 $aCaires,$bLuís$4727$3179014
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 19359 P.$x1
966 ## $lBN$mFGMON$sP. 34336 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1696575
003 http://id.bnportugal.gov.pt/bib/catbnp/1696575
100 ## $a20081121d2006 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aLanguages and type for component-based programming$bTexto policopiado]$fJoão Ricardo Viegas da Costa Seco$gorient. Luís Caires
210 #9 $aLisboa$c[s.n.],$d2006
215 ## $aXVI, 235 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. 227-235
328 ## $bTese dout.$cInformática$eFac. de Ciências e Tecnologia, Univ. Nova de Lisboa$d2006
675 ## $a004.43(043)$vBN$zpor$31253292
700 #1 $aSeco,$bJoão Ricardo Viegas da Costa$3277692
702 #1 $aCaires,$bLuís$4727$3179014
712 02 $aUniversidade Nova de Lisboa.$bFaculdade de Ciências e Tecnologia$4295$320143
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 15558 P.$x1
966 ## $lBN$mFGMON$sP. 25207 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1650608
003 http://id.bnportugal.gov.pt/bib/catbnp/1650608
100 ## $a20070629d2004 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aComponent glue$bTexto policopiado]$e uma linguagem de composição para arquitecturas distribuídas$fMiguel Pereira Durão Luís$gorient. Luís Manuel Marques da Costa Caires
210 #9 $aLisboa$c[s.n.],$d2004
215 ## $aXII, 113 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. 101-106
328 #0 $bTese mestr.$cEngenharia Informática$eDep. de Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa$d2004
675 ## $a004.43(043)$vBN$zpor$31253292
675 ## $a004.27(043)$vBN$zpor$31207906
700 #1 $aLuís,$bMiguel Pereira Durão$31290943
702 #1 $aCaires,$bLuís$4727$3179014
712 02 $aUniversidade Nova de Lisboa.$bFaculdade de Ciências e Tecnologia.$bDepartamento de Informática$4295$31213513
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 14899 P.$x1
966 ## $lBN$mFGMON$sP. 23702 V.$x1

Etiqueta de registo: 00819cam 2200253 450
001 528116
003 http://id.bnportugal.gov.pt/bib/catbnp/528116
005 19990103000000.0
095 ## $aPTBN00731164
100 ## $a19950519d1994 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $ay z 001yy
106 ## $ar
200 1# $aUnificação de ordem superior polimórfica para a programação em lógica$bTexto policopiado]$fLuis Manuel Marques da Costa Caires
210 #9 $aLisboa$c[s.n.],$d1994
215 ## $aXII, 98 p.$d31 cm
320 ## $aBibliografia, p. 95-98
328 ## $aTese mestr. Eng. Informática, Univ. Nova Lisboa, 1994
675 ## $a519.85(043)$vBN$zpor$31221125
675 ## $a519.6(043)$vBN$zpor$31220290
675 ## $a681.3.06(043)$vBN$zpor$3301665
700 #1 $aCaires,$bLuís$3179014
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 6920 A.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1945363
003 http://id.bnportugal.gov.pt/bib/catbnp/1945363
100 ## $a20161021d2015 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aRely-guarantee protocols for safe interference over shared memory$fFilipe David Oliveira Militão$gorient. Luís Caires, Jonathan Aldrich
210 #9 $aLisboa$c[s.n.],$d2015
215 ## $aX, 235 p.$cil.$d30 cm
328 #1 $aTese dout. Informática, Faculdade de Ciências e Tecnologia, universidade Nova de Lisboa, 2015
675 ## $a004.4(043)$vBN$zpor$3787169
700 #1 $aMilitão,$bFilipe David Oliveira$31660457
702 #1 $aCaires,$bLuís$4727$3179014
702 #1 $aAldrich,$bJonathan$4727$31660459
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 45722 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1920036
003 http://id.bnportugal.gov.pt/bib/catbnp/1920036
100 ## $a20160118d2015 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $a A logical foundation for session-based concurrent computation$fBernardo Parente Coutinho Fernandes Toninho$gorient. Frank Pfenning, Luís Caires
210 #9 $aLisboa$c[s.n.],$d2015
215 ## $aXVIII, 178, [1] p.$d30 cm
320 ## $aBibliografia, p. 159-164
328 #1 $aTese dout. Engenharia Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa, 2015
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $aToninho,$bBernardo Parente Coutinho Fernandes$31632743
702 #1 $aPfenning,$bFrank$4727$31632744
702 #1 $aCaires,$bLuís$4727$3179014
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 43743 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2128548
003 http://id.bnportugal.gov.pt/bib/catbnp/2128548
100 ## $a20230406d2022 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aCLASS$e a logical foundation for typeful programming with shared state$fPedro Manuel Sabino Rocha$gorient. Luís Manuel Marques da Costa Caires
210 #9 $aLisboa$c[s.n.],$d2022
215 ## $aXII, [1], 275 p.$d30 cm
328 #1 $aTese dout. informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2022
675 ## $a004.43CLASS(043)$vBN$zpor$31885793
700 #1 $aRocha,$bPedro Manuel Sabino$31878458
702 #1 $aCaires,$bLuís$4727$3179014
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 63039 V.$x1
971 ## $carosa$d20230406
972 ## $e0$z0$d20230630$vmsebas
973 ## $cmcarvalho$d20230623

OpendataBNP@bnportugal.pt | Mais informação sobre acesso aos dados BNP