Etiqueta de registo: 00230nlm 2200025 450
001 1591534
003 http://id.bnportugal.gov.pt/bib/catbnp/1591534
100 ## $a20070427d2003 k y0pory0103 ba
101 0# $aeng $dpor
102 ## $aPT
106 ## $ai
200 1# $a A debugging engine for parallel and distributed programs$bDocumento electrónico]$fJoão Manuel dos Santos Lourenço$gorient. José Cardoso e Cunha
210 #9 $aLisboa$c[s.n.],$d2003
215 ## $a1 disco óptico (CD-ROM) em caixa$d13 x 14 x 1 cm
230 ## $aDados textuais
304 ## $aTít. retirado do primeiro ecrã informativo
320 ## $aContém bibliografia
328 #0 $bTese dout.$cInformática$eDep. de Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa$d2003
675 ## $a004.75(043)(0.034)$vBN$zpor$31245481
675 ## $a004.2/.4(043)(0.034)$vBN$zpor$31293277
675 ## $a519.6(043)(0.034)$vBN$zpor$31293278
700 #1 $aLourenço,$bJoão Manuel dos Santos$3181664
702 #1 $aCunha,$bJosé Alberto Cardoso e$4727$3341057
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. 14469 P.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1869694
003 http://id.bnportugal.gov.pt/bib/catbnp/1869694
100 ## $a20140409d2013 k y0pory01030103ba
101 0# $aeng$dporfre
102 ## $aPT E
105 ## $aa m 001yy
106 ## $ar
200 1# $aMaintaining the correctness of transactional memory programs$fRicardo Jorge Freire Dias$gorient. João Manuel dos Santos Lourenço
210 #9 $aLisboa$c[s.n.],$d2013
215 ## $aXXII, 152 p.$cil.$d30 cm
215 ## $a1 disco ótico (CD-ROM) em caixa$cil.$d13 x 15 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Engenharia Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa, 2013
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.25(043)$vBN$zpor$31240726
700 #1 $aDias,$bRicardo Jorge Freire$31570270
702 #1 $aLourenço,$bJoão Manuel dos Santos$4727$3181664
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 21224 P.$x1
966 ## $lBN$mFGMON$x1

Etiqueta de registo: 00817cam 2200253 450
001 539207
003 http://id.bnportugal.gov.pt/bib/catbnp/539207
005 19990103000000.0
095 ## $aPTBN00742281
100 ## $a19950619d1994 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aMecanismos de suporte à execução concorrente de programas em lógica$bTexto policopiado]$fJoão Manuel dos Santos Lourenço
210 #9 $aLisboa$c[s.n.],$d1994
215 ## $aXVI, 92 p.$cil.$d30 cm
320 ## $aBibliografia, p. 87-91
328 ## $aTese mestr. Eng. Informática, Univ. Nova de Lisboa, 1994
675 ## $a519.68(043.2)$vBN$zpor$3342254
675 ## $a681.3(043.2)$vBN$zpor$3300199
675 ## $a811.93(043)$vBN$zpor$3543770
700 #1 $aLourenço,$bJoão Manuel dos Santos$3181664
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 78970 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2031333
003 http://id.bnportugal.gov.pt/bib/catbnp/2031333
100 ## $a20191015d2019 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aExecuting requests concurrently in state machine replication$fTiago Marques do Vale$gorient. João Manuel dos Santos Lourenço, Ricardo Jorge Freire Dias
210 #9 $aLisboa$c[s.n.],$d2019
215 ## $aXIII , 88 p.$cil.$d30 cm
328 #1 $aTese dout. Informática, Fac. de Ciências e Tecnologia, Universidade Nova de Lisboa, 2019
675 ## $a004.31(043)$vBN$zpor$31048018
675 ## $a004.33(043)$vBN$zpor$31228117
700 #1 $aVale,$bTiago Marques do$31765647
702 #1 $aLourenço,$bJoão Manuel dos Santos$4727$3181664
702 #1 $aDias,$bRicardo Jorge Freire$4727$31570270
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 54594 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2125509
003 http://id.bnportugal.gov.pt/bib/catbnp/2125509
100 ## $a20210307d2021 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aData storage and dissemination in pervasive edge computing environments$fJoão André Almeida e Silva$gorient. Hervé Miguel Cordeiro Paulino, João Manuel dos Santos Lourenço
210 #9 $aLisboa$c[s.n.],$d2021
215 ## $aXXXI, 265 p.$cil.$d30 cm
328 #1 $aTese dout. Computer Science, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa, 2021
675 ## $a004.08(043)$vBN$zpor$31230760
675 ## $a004.7(043)$vBN$zpor$3918097
675 ## $a0$vBN$zpor$3304611
700 #1 $aSilva,$bJoão André Almeida e$31875184
702 #1 $aPaulino,$bHervé Miguel Cordeiro$4727$31353234
702 #1 $aLourenço,$bJoão Manuel dos Santos$4727$3181664
801 #0 $aPT$bBN$gRPC
856 40 $2Cópia digital disponível no Repositório Universidade Nova de Lisboa$uhttp://hdl.handle.net/10362/121738
966 ## $lBN$mFGMON$sP. 62628 V.$x1
971 ## $carosa$d20230307
972 ## $e0$z0$d20230607$viquintas
973 ## $cigoulao$d20230524