Etiqueta de registo: 00230nam 2200025 450
001 1681629
003 http://id.bnportugal.gov.pt/bib/catbnp/1681629
100 ## $a20080409d2006 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aAlgorithms for linear pseudo-boolean optimization$bTexto policopiado]$fVasco Miguel Gomes Nunes Manquinho$gorient. João Paulo Marques da Silva
210 #9 $a[Lisboa$cs.n.],$d2006
215 ## $aXIV, 123 p.$d30 cm
320 ## $aBibliography, p. 113-123
328 #0 $bTese dout.$cEngenharia Informática e de Computadores$eInst. Superior Técnico, Univ. Técnica de Lisboa$d2006
675 ## $a004.02(043)$vBN$zpor$31286563
675 ## $a519.71(043)$vBN$zpor$3389481
675 ## $a510.5(043)$vBN$zpor$3297931
700 #1 $aManquinho,$bVasco Miguel Gomes Nunes$3918415
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$sP. 23958 V.$x1

Etiqueta de registo: 00740cam 2200205 450
001 1005364
003 http://id.bnportugal.gov.pt/bib/catbnp/1005364
005 20000322084000.0
100 ## $a19991029d1999 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aAlgoritmos de programação linear inteira para problemas de cobertura de conjuntos$bTexto policopiado]$fVasco Miguel Gomes Nunes Manquinho
210 #9 $aLisboa$c[s.n.],$d1999
215 ## $aXI, 100 p.$cil.$d30 cm
320 ## $aBibliografia, p. 99-100
328 ## $aTese mestr. em Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico de Lisboa, 1999
675 ## $a621.3(043)$vBN$zpor$3297328
700 #1 $aManquinho,$bVasco Miguel Gomes Nunes$3918415
966 ## $lBN$mFGMON$sS.A. 90237 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 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