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
|
|
|