Etiqueta de registo: 00000nam 2200025 450
001 1849284
003 http://id.bnportugal.gov.pt/bib/catbnp/1849284
100 ## $a20130912d2012 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aConstraint programming on hierarchical multiprocessor systems$fVasco Fernando de Figueiredo Tavares Pedro$gorient. Salvador Pinto de Abreu
210 #9 $aÉvora$c[S.l.]$d2012
215 ## $aXII, 92 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. 83-90
328 #1 $aTese dout. Informática, Inst. de Invest. e Formação Avançada, Univ. de Évora, 2012
675 ## $a004.7(043)$vBN$zpor$3918097
675 ## $a004.03(043)$vBN$zpor$31229757
675 ## $a004.2(043)$vBN$zpor$31234195
700 #1 $aPedro,$bVasco Fernando de Figueiredo Tavares$31052576
702 #1 $aAbreu,$bSalvador Pinto$4727$3146098
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 20690 P.$x1
966 ## $lBN$mFGMON$sP. 38050 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1736061
003 http://id.bnportugal.gov.pt/bib/catbnp/1736061
100 ## $a20100201d2007 k y0pory0103 ba
101 0# $aeng$dporfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aX.P.T.O. - A system for representing and queryung semantic web ontologies$bTexto policopiado]$fCláudio Francisco Fernandes$gorient. Salvador Abreu
210 #9 $aÉvora$c[s.n.],$d2007
215 ## $aXI, 104 f.$cil.$d30 cm
320 ## $aBibliografia, f. 99-104
328 #0 $bTese mestr.$cEngenharia Informática$eUniv. de Évora$d2007
675 ## $a004.77(043)$vBN$zpor$90$31229690
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.43(043)$vBN$zpor$31253292
700 #1 $aFernandes,$bCláudio Francisco$31408709
702 #1 $aAbreu,$bSalvador Pinto$4727$3146098
712 02 $aUniversidade de Évora$4295$320062
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 27904 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1736040
003 http://id.bnportugal.gov.pt/bib/catbnp/1736040
100 ## $a20100201d2007 k y0pory0103 ba
101 0# $aeng$dporfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aConstraint programming on a heterogeneous multicore$bTexto policopiado]$fRui Mário da Silva Machado$gorient. Salvador Abreu
210 #9 $aÉvora$c[s.n.],$d2008
215 ## $a114 p.$cil.$d30 cm
320 ## $aBibliografia, p. 110-114
328 #0 $bTese mestr.$eDep. de Informática, Univ. de Évora$d2007
675 ## $a004.43(043)$vBN$zpor$90$31253292
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $aMachado,$bRui Mário da Silva$31408671
702 #1 $aAbreu,$bSalvador Pinto$4727$3146098
712 02 $aUniversidade de Évora.$bEscola de Ciências e Tecnologia.$bDepartamento de Informática$4295$31407698
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 27903 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1726327
003 http://id.bnportugal.gov.pt/bib/catbnp/1726327
100 ## $a20091008d2007 km y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aDSM-PM2 adequacy for distributed constraint programming$bTexto poilicopiado]$fLuís Pedro Parreira Galito Pimenta Almas$gorient. Salvador Abreu
210 #9 $aÉvora$c[s.n.],$d2007
215 ## $a114 p.$cil.$d30 cm
320 ## $aBibliografia, p. 110-114
328 #0 $bTese$eDep. Informática, Univ. Évora$d2007
532 12 $aDistributed Shared Memory-Parallel Mutithreaded 2 adequacy for distributed constraint programming
675 ## $a004.27(043)$vBN$zpor$90$31207906
675 ## $a004.75(043)$vBN$zpor$31240724
675 ## $a004.43/.45(043)$vBN$zpor$31398615
700 #1 $aAlmas,$bLuís Pedro Parreira Galito Pimenta$31394498
702 #1 $aAbreu,$bSalvador Pinto$4727$3146098
712 02 $aUniversidade de Évora.$bEscola de Ciências e Tecnologia.$bDepartamento de Informática$4295$31407698
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 27054 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1725300
003 http://id.bnportugal.gov.pt/bib/catbnp/1725300
100 ## $a20090928d2007 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aDistributed multi-threading in GNU prolog$fNuno Eduardo Quaresma Morgadinho$gorient. Salvador Abreu
210 #9 $aÉvora$c[s.n.],$d2007
215 ## $aX, 99 f.$cil.$d30 cm
320 ## $aBibliografia, f. 71-75
328 #1 $aTese mestr. [Computação paralela], Dep. de informática, Univ. de Évora, 2007
675 ## $a004.42/.43(043)$vBN$zpor$90$31398305
675 ## $a004.75(043)$vBN$zpor$31240724
700 #1 $aMorgadinho,$bNuno Eduardo Quaresma$31393242
702 #1 $aAbreu,$bSalvador Pinto$4727$3146098
712 02 $aUniversidade de Évora.$bEscola de Ciências e Tecnologia.$bDepartamento de Informática$4295$31407698
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 27086 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1324310
003 http://id.bnportugal.gov.pt/bib/catbnp/1324310
100 ## $a20050512d2004 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aGNU prolog to Java$bTexto policopiado]$e a study on how to connect the two programming environments$fDavid José Murteira Mendes$gorient. Salvador Pinto Abreu
210 #9 $aÉvora$c[s.n.],$d2004
215 ## $aVII, 65 p.$cil.$d30 cm
320 ## $aBibliografia, p. 47
328 #0 $bTese mestr.$cInteligência Artificial Aplicada$eUniversidade de Évora$d2004
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.43Java(043)$vBN$zpor$3971390
675 ## $a004.89(043)$vBN$zpor$3911648
700 #1 $aMendes,$bDavid José Murteira$31202664
702 #1 $aAbreu,$bSalvador Pinto$4727$3146098
712 02 $aUniversidade de Évora$4295$320062
966 ## $lBN$mFGMON$sP. 20634 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1725316
003 http://id.bnportugal.gov.pt/bib/catbnp/1725316
100 ## $a20090928d2007 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $a A SPARQL query engine over web$bTexto policopiado]$eontologies using contextual logic programming$fNuno Alexandre de Jesus Lopes$gorient. Salvador Pinto Abreu
210 #9 $aÉvora$c[s.n.],$d2007
215 ## $aIX, 89 f.$cil.$d30 cm
320 ## $aBibliografia, f. 82-89
328 #0 $bTese mestr.$cEngenharia Informática$eUniv. de Évora$d2007
675 ## $a004.82(043)$vBN$zpor$90$31209577
675 ## $a004.7(043)$vBN$zpor$3918097
675 ## $a004.73(043)$vBN$zpor$3813506
700 #1 $aLopes,$bNuno Alexandre de Jesus$31393251
702 #1 $aAbreu,$bSalvador Pinto$4727$3146098
712 02 $aUniversidade de Évora$4295$320062
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 27085 V.$x1

Etiqueta de registo: 00935cam 2200289 450
001 455716
003 http://id.bnportugal.gov.pt/bib/catbnp/455716
005 19990101000000.0
095 ## $aPTBN00658131
100 ## $a19940920d1994 k y0pory0103 ba
101 0# $aeng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aImproving the parallel execution of logic programs$bTexto policopiado]$fSalvador Luís de Bethencourt Pinto de Abreu
210 #9 $aLisboa$c[s.n.],$d1994
215 ## $aXIV, 184 p.$cil.$d30 cm
320 ## $aBibliografia, p. 181-184
328 ## $aTese dout. Eng. Informática, Univ. Nova Lisboa, 1994
675 ## $a519.85(043)$vBN$zpor$31221125
675 ## $a519.6/.7(043)$vBN$zpor$31246935
700 #1 $aAbreu,$bSalvador Pinto$3146098
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 77566 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1376648
003 http://id.bnportugal.gov.pt/bib/catbnp/1376648
100 ## $a20060724d2004 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aProgramação por restrições distribuídas em Java$bTexto policopiado]$fLígia Maria Rodrigues da Silva Ferreira$gorient. Salvador Luís Bethencourt Pinto Abreu
210 #9 $aÉvora$c[s.n.],$d2004
215 ## $a189 f.$cil.$d30 cm
320 ## $aBibliografia, f. 183-189
328 #0 $bTese dout.$cInformática$eUniv. de Évora$d2004
675 ## $a004.43Java(043)$vBN$zpor$3971390
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aFerreira,$bLígia Maria Rodrigues da Silva$31249579
702 #1 $aAbreu,$bSalvador Pinto$4727$3146098
712 02 $aUniversidade de Évora$4295$320062
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 21802 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1915970
003 http://id.bnportugal.gov.pt/bib/catbnp/1915970
100 ## $a20151124d2012 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aDeclarative domain-specific languages and applications to network monitoring$fPedro Dinis Loureiro Salgueiro$gorient. Salvador Pinto de Abreu
210 #9 $aÉvora$c[s.n.],$d2012
215 ## $a[1], XVIII, 180 p.$cil.$d30 cm
215 ## $a1 disco ótico (CD-ROM) em bolsa$d13 x 13 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 171-180
328 #1 $aTese dout. Informática, Inst. de Investigação e Formação Avançada, Univ. de Évora, 2012
675 ## $a004.7(043)$vBN$zpor$3918097
700 #1 $aSalgueiro,$bPedro Dinis Loureiro$31237922
702 #1 $aAbreu,$bSalvador Pinto$4727$3146098
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 22412 P.$x1
966 ## $lBN$mFGMON$sP. 43331 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1915931
003 http://id.bnportugal.gov.pt/bib/catbnp/1915931
100 ## $a20151123d2014 k y0pory01030103ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aMultiModMundo$edesenho de zonas e objectos audiovisuais em videojogos do género MMOG através de técnicas de visualização de dados em tempo real$fJoão Miguel de Carvalho Mesquita$gorient. Salvador Pinto de Abreu, Inês Secca Ruivo
210 #9 $aÉvora$c[s.n.],$d2014
215 ## $a271 p.$cil.$d30 cm
320 ## $aBibliografia, p. 205-217
328 #1 $aTese dout. Artes Visuais (Metamedia e Design), Univ. de Évora, 2014
675 ## $a7.05(043)$vBN$zpor$3818439
675 ## $a794.08(043)$vBN$zpor$31600481
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $aMesquita,$bJoão Miguel de Carvalho727$31629266
702 #1 $aAbreu,$bSalvador Pinto$4727$3146098
702 #1 $aRuivo,$bInês Seca,$f1972-$4727$31473018
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sB.A. 39628 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1942085
003 http://id.bnportugal.gov.pt/bib/catbnp/1942085
100 ## $a20160919d2013 k y0pory01030103ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aEstratégia híbrida de recomendações num gestor de conteúdos ampliado$fFilipe Montez Coelho Madeira$gorient. Rui Filipe Cerqueira Quaresma, Salvador Luís de Bethencourt Pinto de Abreu
210 #9 $aÉvora$c[s.n.],$d2013
215 ## $aXIV, 210 p.$cil.$d30 cm
328 #1 $aTese dout. Informática, Instituto de Investigação e Formação Avançada, Universidade de Évora, 2013
675 ## $a004.42(469)(043)$vBN$zpor$31094477
675 ## $a004.9(469)(043)$vBN$zpor$3970614
675 ## $a37.018(469)(043)$vBN$zpor$31218257
675 ## $a378(469)(043)$vBN$zpor$3495578
700 #1 $aMadeira,$bFilipe Montez Coelho$3264898
702 #1 $aQuaresma,$bRui Filipe Cerqueira$4727$3273652
702 #1 $aAbreu,$bSalvador Pinto$4727$3146098
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 45376 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1942022
003 http://id.bnportugal.gov.pt/bib/catbnp/1942022
100 ## $a20160919d2013 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aMassively parallel declarative computational models$fRui Mário da Silva Machado$gorient. Salvador Pinto Abreu
210 #9 $aÉvora$c[s.n.],$d2013
215 ## $a[4], XVIII, 142 p.$cil.$d30 cm
328 #1 $aTese dout. Informática, Instituto de Investigação e formação Avançada, Universidade de Évora, 2013
675 ## $a004.4(043)$vBN$zpor$3787169
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aMachado,$bRui Mário da Silva$31408671
702 #1 $aAbreu,$bSalvador Pinto$4727$3146098
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 45396 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2059720
003 http://id.bnportugal.gov.pt/bib/catbnp/2059720
100 ## $a20201116d2020 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aConstraint solving on massively parallel systems$fPedro Miguel da Silva Roque$gorient. Salvador Luís de Bettencourt Pinto de Abreu, Vasco Fernando de Figueiredo Tavares Pedro
210 #9 $aÉvora$c[s.n.],$d2020
215 ## $aXIX, 109 p.$cil.$d30 cm
328 #1 $aTese dout. Informática, Instituto de Investigação e Formação Avançada, Univ. de Évora, 2020
675 ## $a004.31(043)$vBN$zpor$31048018
700 #1 $aRoque,$bPedro Miguel da Silva$31796036
702 #1 $aAbreu,$bSalvador Pinto$4727$3146098
702 #1 $aPedro,$bVasco Fernando de Figueiredo Tavares$4727$31052576
801 #0 $aPT$bBN$gRPC
856 40 $2Cópia digital disponível no Repositório Digital de Publicações Científicas da Universidade de Évora$u http://hdl.handle.net/10174/27976
966 ## $lBN$mFGMON$sP. 56922 V.$x1