Etiqueta de registo: 00000nx a22000253 45
001 1311135
100 ## $a20080124apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aTavares,$bCarlos Jorge Chumbinho
801 #0 $aPT$bBN
810 ## $aSolving SAT with a context switching virtual clause pipeline and an FPGA embedded processor
830 ## $aMestrado em Engª. electrotécnica e de computadores
ver registos bibliográficos associados