| Registos Bibliográficos associados ao registo de autoridade |
|
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
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 1649716
003 http://id.bnportugal.gov.pt/bib/catbnp/1649716
100 ## $a20070615d2006 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aConversão de ritmos de amostragem em FPGA$bTexto policopiado]$fNelson Gonçalo do Rosário Ribeiro$gorient. José João Henriques Teixeira de Sousa
210 #9 $aLisboa$c[s.n.],$d2006
215 ## $aXV, 109 p.$cil.$d30 cm
320 ## $aBibliografia, p. 85-86
328 #0 $bTese mestr.$cEngenharia Electrotécnica e de Computadores$eInst. Superior Técnico, Univ. Técnica de Lisboa$d2006
675 ## $a621.37(043)$vBN$zpor$3342263
675 ## $a004.3(043)$vBN$zpor$31227412
700 #1 $aRibeiro,$bNelson Gonçalo do Rosário$31292232
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$sS.A. 117222 V.$x1
Etiqueta de registo: 00792cam 2200229 450
001 382090
003 http://id.bnportugal.gov.pt/bib/catbnp/382090
005 19981230000000.0
095 ## $aPTBN00408269
100 ## $a19930113d1992 km y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aAvaliação da testabilidade física em circuítos digitais metal-óxido-semicondutor$bTexto policopiado]$fJosé João Henriques Teixeira de Sousa
210 #9 $aLisboa$c[s.n.],$d1992
215 ## $aVII, 111 f.$cil.$d30 cm
320 ## $aBibliografia f. 107-111
328 ## $aTese mestr. Eng. Electrotécnica e de Computadores, Univ. Técnica de Lisboa, 1992
675 ## $a681.3(043.2)$vBN$zpor$3300199
700 #1 $aSousa,$bJosé João Henriques Teixeira de$381882
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 74680 V.$x1
Etiqueta de registo: 00230nam 2200025 450
001 1649769
003 http://id.bnportugal.gov.pt/bib/catbnp/1649769
100 ## $a20070618d2006 k y0pory0103 ba
101 0# $apor $deng
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aImplementação em VHDL de um codificador-descodificador de vídeo e áudio em formato
SDI$bTexto policopiado]$fDiogo Maria Granja Cardoso Menezes de Matos$gorient. Fernando Manuel Duarte Gonçalves, José João Henriques Teixeira de Sousa
210 #9 $aLisboa$c[s.n.],$d2006
215 ## $aXVII, 106 p.$cil.$d30 cm
320 ## $aBibliografia, p. 95-97
328 #0 $bTese mestr.$cEngenharia Electrotécnica e de Computadores$eInst. Superior Técnico, Univ. Técnica de Lisboa$d2006
675 ## $a621.39(043)$vBN$zpor$3297878
700 #1 $aMatos,$bDiogo Maria Granja Cardoso Menezes de$31293661
702 #1 $aGonçalves,$bFernando Manuel Duarte$4727$363308
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$sS.A. 117167 V.$x1
|
|
|
