Etiqueta de registo: 00230nam 2200025 450
001 1803285
003 http://id.bnportugal.gov.pt/bib/catbnp/1803285
100 ## $a20120210d2011 k y0pory0103 ba
101 0# $aeng$dporspa
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aResolution of dependencies in the installation of software components$fPaulo Ricardo Pacheco Rodrigues Trezentos$gorient. Arlindo Manuel Limede de Oliveira, Maria Inês Camarate de Campos Lynce Faria
210 #9 $aLisboa$c[s.n.],$d2011
215 ## $aX, [1], 117 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Engenharia Informática e de Computadores, Inst. Sup. Técnico. Univ. Técnica de Lisboa, 2011
675 ## $a004.45(043)$vBN$zpor$3946412
675 ## $a004.02(043)$vBN$zpor$31286563
700 #1 $aTrezentos,$bPaulo Ricardo Pacheco Rodrigues$31188899
702 #1 $aOliveira,$bArlindo,$f1963-$4727$3409080
702 #1 $aFaria,$bMaria Inês Camarate de Campos Lynce de$4727$31235384
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 19452 P.$x1
966 ## $lBN$mFGMON$sP. 34603 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1797504
003 http://id.bnportugal.gov.pt/bib/catbnp/1797504
100 ## $a20111215d2011 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aSatisfiability-based algorithms for haplotype inference$fAna Sofia Soeiro da Graça$gorient. Maria Inês Camarate de Campos Lynce de Faria, João Paulo Marques da Silva, Arlindo Manuel Limede de Oliveira
210 #9 $aLisboa$c[s.n.],$d2011
215 ## $aXVI, 156 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 ## $aContém bibliografia
328 #1 $aTese dout. Engenharia Informática e de Computadores, Instituto Superior Técnico, Univ. Técnica de Lisboa, 2011
675 ## $a004.02(043)$vBN$zpor$31286563
675 ## $a519.6/.8(043)$vBN$zpor$31302575
675 ## $a575(043)$vBN$zpor$3337090
675 ## $a577.21(043)$vBN$zpor$3486758
700 #1 $aGraça,$bAna Sofia Soeiro da$31477687
702 #1 $aFaria,$bMaria Inês Camarate de Campos Lynce de$4727$31235384
702 #1 $aSilva,$bJoão Paulo Marques da$4727$3470745
702 #1 $aOliveira,$bArlindo,$f1963-$4727$3409080
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 20009 P.$x1
966 ## $lBN$mFGMON$sP. 36331 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2031129
003 http://id.bnportugal.gov.pt/bib/catbnp/2031129
100 ## $a20191014d2019 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aConstraint-based multi-objective combinatorial optimization$fMiguel Ângelo da Terra Neves$gorient. Vasco Miguel Gomes Nunes Manquinho, Maria Inês Camarate de Campos Lynce de Faria
210 #9 $aLisboa$c[s.n.],$d2019
215 ## $aXXVI, 150 p.$cil.$d30 cm
328 #1 $aTese dout. Information Systems and Computer Engineering, Instituto Superior Técnico, Univ. de Lisboa, 2019
675 ## $a004.02(043)$vBN$zpor$31286563
675 ## $a519.71(043)$vBN$zpor$3389481
675 ## $a510.5(043)$vBN$zpor$3297931
700 #1 $aNeves,$bMiguel Ângelo da Terra$31765404
702 #1 $aManquinho,$bVasco Miguel Gomes Nunes$4727$3918415
702 #1 $aFaria,$bMaria Inês Camarate de Campos Lynce de$4727$31235384
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 54452 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1366875
003 http://id.bnportugal.gov.pt/bib/catbnp/1366875
100 ## $a20060327d2004 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aPropositional satisfiability$bTexto policopiado]$etechniques, algorithms and applications$fMaria Inês Camarate de Campos Lynce de Faria$gorient. João Paulo Marques da Silva
210 #9 $aLisboa$c[s.n.],$d2004
215 ## $a142 p.$d30 cm
320 ## $aBibliografia, p. 131-142
328 #0 $bTese dout.$cEngenharia Informática e de Computadores$eInst. Superior Técnico, Univ. Técnica de Lisboa$d2004
675 ## $a519.6(043)$vBN$zpor$31220290
675 ## $a004.4(043)$vBN$zpor$3787169
700 #1 $aFaria,$bMaria Inês Camarate de Campos Lynce de$31235384
702 #1 $aSilva,$bJoão Paulo Marques da$4727$3470745
712 02 $aUniversidade Técnica de Lisboa.$bInstituto Superior Técnico$4295$3175770
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 112219 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1856654
003 http://id.bnportugal.gov.pt/bib/catbnp/1856654
100 ## $a20131121d2013 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aParallel search for maximum satisfiability$fRuben Carlos Gonçalves Martins$gorient. Maria Inês Camarate de Campos Lynce de Faria, Vasco Miguel gomes Nunes Manquinho
210 #9 $a[Lisboa$cs.n.],$d2013
215 ## $aXVIII, 132 p.$cil.$d30 cm
215 ## $a1 disco ótico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEdição impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Information Systems and Computer Engineering, Inst. Sup. Técnico, Univ. de Lisboa, 2013
675 ## $a519.71(043)$vBN$zpor$3389481
700 #1 $aMartins,$bRuben Carlos Gonçalves$31440516
702 #1 $aFaria,$bMaria Inês Camarate de Campos Lynce de$4727$31235384
702 #1 $aManquinho,$bVasco Miguel Gomes Nunes$4727$3918415
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.A. 55844 P.$x1
966 ## $lBN$mFGMON$sS.A. 152272 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2088865
003 http://id.bnportugal.gov.pt/bib/catbnp/2088865
100 ## $a20220104d2021 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aModel revision of boolean logical models of biological regulatory networks$fJoão Filipe Rosado Gouveia$gorient. Pedro Tiago Gonçalves Monteiro, Maria Inês Camarate de Campos Lynce de Faria
210 #9 $aLisboa$c[s.n.],$d2021
215 ## $aXVI, 125 p.$d30 cm
328 #1 $aTese dout. Computer Science and Engineering, Inst. Sup. Técnico, Univ. de Lisboa, 2021
675 ## $a004.02(043)$vBN$zpor$31286563
700 #1 $aGouveia,$bJoão Filipe Rosado$31830422
702 #1 $aMonteiro,$bPedro Tiago Gonçalves $4727$31246720
702 #1 $aFaria,$bMaria Inês Camarate de Campos Lynce de$4727$31235384
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 60518 V.$x1
971 ## $corlando$d20220104
972 ## $e0$z1$d20220810$vasantos
973 ## $cmcarvalho$d20220704

Etiqueta de registo: 00000nam 2200025 450
001 2088693
003 http://id.bnportugal.gov.pt/bib/catbnp/2088693
100 ## $a20220103d2021 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aSolving scheduling problems under disruptions$fAlexandre Duarte de Almeida Lemos$gorient. Maria Inês Camarate de Campos Lynce de Faria, Pedro Tiago Gonçalves Monteiro
210 #9 $aLisboa$c[s.n.],$d2021
215 ## $a1 v.$cil.$d30 cm
328 #1 $aTese dout. Computer Science and Engineering, Inst. Sup. Técnico, Univ. de Lisboa, 2021
675 ## $a004.02(043)$vBN$zpor$31286563
700 #1 $aLemos,$bAlexandre Duarte de Almeida$31830244
702 #1 $aFaria,$bMaria Inês Camarate de Campos Lynce de$4727$31235384
702 #1 $aMonteiro,$bPedro Tiago Gonçalves $4727$31246720
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 60458 V.$x1
971 ## $corlando$d20220103
972 ## $e0$z0$d20220627$viquintas
973 ## $cmcarvalho$d20220621