Etiqueta de registo: 00230nam 2200025 450
001 1671955
003 http://id.bnportugal.gov.pt/bib/catbnp/1671955
100 ## $a20071119d2006d k y0pory0103 ba
101 0# $aengeng eng$dpor
102 ## $aPT
105 ## $aa v 001yy
106 ## $ar
200 1# $aSolving SAT with a context switching virtual clause pipeline and an FPGA embedded processor$bTexto policopiado]$fCarlos Jorge Chumbinho Tavares$gorient. José João Henrique Teixeira de Sousa
210 #9 $aLisboa$c[s.n.],$d2006
215 ## $aXVIII, 109 p.$cil.$d30 cm
320 ## $aBibliografia, p. 81- 84
328 #0 $bTese mestr.$cEngª. electrotécnica e de computadores$eInst. Sup. Técnico, Univ. Técnica de Lisboa,$d2006
675 ## $a004.2/.4(043)$vBN$zpor$31286560
700 #1 $aTavares,$bCarlos Jorge Chumbinho$31311135
702 #1 $aSousa,$bJosé João Henriques Teixeira de$4727$381882
712 02 $aUniversidade Técnica de Lisboa.$bInstituto Superior Técnico$4295$3175770
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 23765 V.$x1