Etiqueta de registo: 00596cam 22001931 450
001 1797504
003 http://id.bnportugal.gov.pt/bib/porbase/1797504
005 20030618131100.0
010 ## $bBrochado$doferta
035 ## $831743
095 ## $aPTBN00484699
100 ## $a19901204d1990 m a0pory0103 ba
101 0# $afre
102 ## $aFR
200 1# $aInstruments financiers et rôle des finances dans les institutions régionales$fConseil de l'Europe
210 ## $aStrasbourg$cConseil de l'Europe,$d1990
215 ## $a85 p.$d30 cm
710 02 $aComunidade Europeia.$bConselho$34304
801 #0 $aPT$bBN$gRPC
977 ## $10002/S$2coop$4MPAA$6mq1306491$7bc$8coop$9MPAA$k0
998 ## $aMPAA6-181

Etiqueta de registo: 00622cam 2200217 450
001 1716888
003 http://id.bnportugal.gov.pt/bib/porbase/1716888
005 20030626135200.0
035 ## $931646
095 ## $aPTBN00946017
100 ## $a19730728d1969 k y0pory0103 ba
101 0# $aeng
102 ## $aUS
200 1# $aTheories of abstract automata
210 ## $aEnglewood Cliffs, N.J.$cPrentice-Hall,$d1969
215 ## $aXIII, 412 p
225 2# $aPrentice-Hall series in automatic computation
675 ## $a510.6$vmed$zeng$3801896
675 ## $a519.7$vmed$zeng$3290336
700 #1 $aArbib,$bMichael A.$3331323
801 #0 $aPT$bBN$gRPC
977 ## $103D/ARB$2coop$4UCMA$6efalt224758$7bc$8coop$9UCMA$b9292$k0
998 ## $aCMA23-3051

Etiqueta de registo: 00603cam 2200205 450
001 1686758
003 http://id.bnportugal.gov.pt/bib/porbase/1686758
005 20030627200600.0
035 ## $957505
095 ## $aPTBN00971893
100 ## $a19970917d1959 k y0pory0103 ba
101 0# $aspa
102 ## $aES
200 1# $aEn torno a la literatura alemana contemporanea$fRafael Gutiérrez Girardot
210 ## $aMadrid$cTaurus,$d1959
215 ## $a54 p.$d19 cm
225 2# $aCuadernos Taurus$v16
675 ## $a830$vBN$zpor$3288124
700 #1 $aGutiérrez Girardot,$bRafael,$f1928-$381145
801 #0 $aPT$bBN$gRPC
977 ## $1CE/848$2coop$4UPLE$6efalt263168$7bc$8coop$9UPLE$b47273$k0
998 ## $aPLE64-5739

Etiqueta de registo: 00707cam 2200229 450
001 1681629
003 http://id.bnportugal.gov.pt/bib/porbase/1681629
005 20030628174000.0
010 ## $z87-762-880-7
035 ## $970703
095 ## $aPTBN00978744
100 ## $a19970715d1992 k y0pory0103 ba
101 0# $aeng
102 ## $aUS
200 1# $aUpgrading wastewater treatment plants$fedited by Glen T. Daigger, John A. Buttz
210 ## $aLancaster$cTechnomic Publishing,$d1992
215 ## $a208 p.
675 ## $a628.1$vBN$zpor$3291376
702 #1 $aButtz,$bJohn A.$4370$31364673
702 #1 $aDaigger,$bGlen T.$4370$31364674
801 #0 $aPT$bBN$gRPC
977 ## $1628 WAT$2coop$4ESTGFR$6mq3047109$7bc$8coop$9ESTGFR$k0
977 ## $17-12-131$2coop$4ISEC$6efalt270764$7bc$8coop$9ISEC$b08366$k0
998 ## $aIEC11-232

Etiqueta de registo: 00969nam 2200253 450
001 1671938
003 http://id.bnportugal.gov.pt/bib/porbase/1671938
035 ## $a(bn)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$320534
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$x1

Etiqueta de registo: 01021nam 2200253 450
001 1366875
003 http://id.bnportugal.gov.pt/bib/porbase/1366875
035 ## $a(bn)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$3827344
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$320534
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 112219 V.$x1

Etiqueta de registo: 00851cam 02200241 04500
001 320411
003 http://id.bnportugal.gov.pt/bib/porbase/320411
005 19981229000000.0
035 ## $a(bn)320411
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