| Registos Bibliográficos associados ao registo de autoridade |
|
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: 00230nam 2200025 450
001 1716888
003 http://id.bnportugal.gov.pt/bib/catbnp/1716888
100 ## $a20090625d2007 k y0pory01030103ba
101 0# $aeng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aBacktracking relaxation algorithms for propositional satisfiability$fAteet Bhalla$gorient. José João Henriques Teixeira de Sousa, João paulo Marques da Silva
210 #9 $aLisboa$c[s.n.],$d2007
215 ## $aXV, 177 p.$cil$d30 cm
320 ## $aBibliografia, p. 161-175
328 #0 $bTese dout.$cPhilosophy in Electrical and Computer Engineering$eInstituto Superior Técnico, Univ. Técnica de Lisboa$d2007
675 ## $a004.8/.9(043)$vBN$zpor$31252941
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aBhalla,$bAteet$31382309
702 #1 $aSousa,$bJosé João Henriques Teixeira de$4727$381882
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. 26644 V.$x1
Etiqueta de registo: 00230nam 2200025 450
001 1686758
003 http://id.bnportugal.gov.pt/bib/catbnp/1686758
100 ## $a20080708d2006 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aLearning tecnhiques for model enumeration in boolean satisfiability$bTexto policopiado]$dTécnicas de aprendizagem para enumeração de modelos em satisfação booleana$fAntónio José dos Reis Morgado$gorient. João Paulo Marques da Silva$zpor
210 #9 $aLisboa$c[s.n.],$d2006
215 ## $aXIV, 113 p.$cil.$d30 cm
320 ## $aBibliografia, p. 107-113
328 #0 $bTese mestr.$cEngenharia Informática e Computação$eInst. Superior Técnico, Univ. Técnica de Lisboa $d2006
510 1# $aTécnicas de aprendizagem para enumeração de modelos em satisfação booleana$zpor
675 ## $a004.02(043)$vBN$zpor$31286563
675 ## $a519.6/.8(043)$vBN$zpor$31302575
700 #1 $aMorgado,$bAntónio José dos Reis$31333011
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. 24771 V.$x1
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: 00230nam 2200025 450
001 1671938
003 http://id.bnportugal.gov.pt/bib/catbnp/1671938
100 ## $a20071119d2006 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa v 001yy
106 ## $ar
200 1# $aAlgoritmos para SMT$bTexto policopiado]$fPaulo Jorge de Oliveira Cantante de Matos$gorient. João Paulo Marques da Silva
210 #9 $aLisboa$c[s.n.],$d2006
215 ## $aXVI, 103 p.$cil.$d30 cm
320 ## $aBibliografia, p. 96-101
328 #0 $bTese mestr.$cScience in Computer and Software Engineering$eInst. Sup. Técnico, Univ. Técnica Lisboa$d2006
675 ## $a004.02(043)$vBN$zpor$31286563
675 ## $a004.4(043)$vBN$zpor$3827344
700 #1 $aMatos,$bPaulo Jorge de Oliveira Cantante de$31310535
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. 24099 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: 00788cam 02200229 04500
001 320411
003 http://id.bnportugal.gov.pt/bib/catbnp/320411
005 19981229000000.0
095 ## $aPTBN00336488
100 ## $a19910524d1991 mk y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aAnálise temporal exacta de circuitos combinatórios VLSI$bTexto policopiado]$fJoão Paulo Marques da Silva
210 #9 $aLisboa$c[s.n.],$d1991
215 ## $aXII, 141 f.$cil.$d30 cm
320 ## $aBibliografia, f. 136-141
328 ## $aTese de mestrado em Engenharia Electrotécnica e de Computadores apresentada ao Inst.
Sup. Técnico da Univ. Técnica de Lisboa
675 ## $a681.3(043.2)$vBN$zpor$3300199
700 #1 $aSilva,$bJoão Paulo Marques da$3470745
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 70989 V.$x1
|
|
|
