Etiqueta de registo: 00000nam 2200025 450
001 1889624
003 http://id.bnportugal.gov.pt/bib/catbnp/1889624
100 ## $a20141125d2014 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aAutomatic synthesis of weakest preconditions for compiler optimizations$fNuno Claudino Pereira Lopes$gorient. José Carlos Alves Pereira Monteiro
210 #9 $aLisboa$c[s.n.],$d2014
215 ## $aXVI, 82 p.$cil.$d30 cm
320 ## $aContém bibliografia
328 #1 $aTese dout. Engenharia de Materiais, Instituto Superior Técnico, Univ. de Lisboa, 2014
675 ## $a004.4(043)$vBN$zpor$3787169
675 ## $a519.71(043)$vBN$zpor$3389481
700 #1 $aLopes,$bNuno Claudino Pereira$31593737
702 #1 $aMonteiro,$bJosé Carlos Alves Pereira$4727$382495
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 41209 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1781621
003 http://id.bnportugal.gov.pt/bib/catbnp/1781621
100 ## $a20110601d2010 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aCoverage-directed observability-based validation method for embedded software$fJosé Carlos Campos Costa$gorient. José Carlos Alves Pereira Monteiro
210 #9 $aLisboa$c[s.n.],$d2010
215 ## $a[1], XVI, 151 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 Electrotécnica e de Computadores, Instituto Superior Técnico, Univ. Técnica de Lisboa, 2010
675 ## $a004.41(043)$vBN$zpor$3869101
700 #1 $aCosta,$bJosé Carlos Campos$3917286
702 #1 $aMonteiro,$bJosé Carlos Alves Pereira$4727$382495
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 18639 P.$x1
966 ## $lBN$mFGMON$sP. 32454 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1733871
003 http://id.bnportugal.gov.pt/bib/catbnp/1733871
100 ## $a20100107d2008 k y0pory01030103ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aTécnicas de redução do consumo energético em redes de sensores$fRudolfo António Ribeiro Santos$gorient. José Carlos Alves Pereira Monteiro, Luís Miguel da Silveira
210 #9 $aLisboa$c[s.n.],$d2008
215 ## $aXIII, 106 p.$cil.$d30 cm
320 ## $aBibliografia, p. 101-106
328 #0 $bTese mestr.$cEngenharia Electrotécnica e de Computadores$eInst. Sup. Técnico, Univ. Técnica de Lisboa$d2008
675 ## $a681.53/.58(043)$vBN$zpor$90$31409165
675 ## $a621(043)$vBN$zpor$3297307
675 ## $a550(043)$vBN$zpor$31255849
700 #1 $aSantos,$bRudolfo António Ribeiro$31405445
702 #1 $aMonteiro,$bJosé Carlos Alves Pereira$4727$382495
702 #1 $aSilveira,$bLuís Miguel Teixeira de Ávila Pinto da$4727$3418481
712 02 $aUniversidade Técnica de Lisboa.$bInstituto Superior Técnico$4295$3175770
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 129615 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1714113
003 http://id.bnportugal.gov.pt/bib/catbnp/1714113
100 ## $a20090527d2007 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aDeterminação dos principais factores que influenciam a escolha de um destino de golfe$e o caso da Região Oeste$fJoão Paulo Conceição Silva Jorge$gorient. Carlos Monteiro
210 #9 $aLisboa$c[s.n.],$d2007
215 ## $aVII, 162 f.$cil.$d30 cm
320 ## $aBibliografia, f. 130-143
328 #1 $aTese mestr. Gestão Estratégica e Desenvolvimento do Turismo, Inst. Sup. Técnico, Univ. Técnica de Lisboa, 2007
675 ## $a338.48(469)(043)$vBN$zpor$3434388
675 ## $a796.35(469)(043)$vBN$zpor$31158632
675 ## $a316.64-052(469)(043)$vBN$zpor$31296054
700 #1 $aJorge,$bJoão Paulo Conceição Silva$31378057
702 #1 $aMonteiro,$bJosé Carlos Alves Pereira$4727$382495
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.C. 117092 V.$x1

Etiqueta de registo: 00881cam 2200253 450
001 382843
003 http://id.bnportugal.gov.pt/bib/catbnp/382843
005 19981230000000.0
095 ## $aPTBN00409050
100 ## $a19930122d1992 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aCodificação de máquinas de estados em síntese automática de circuitos lógicos$bTexto policopiado]$fJosé Carlos Alves Pereira Monteiro
210 #9 $aLisboa$c[s.n.],$d1992
215 ## $a[1], XIV, 134, [3] f.$cil.$d30 cm
320 ## $aBibliografia, f. 134-137
328 ## $aTese mestr. Engenharia Electrotécnica e de Computadores, Inst. Sup. Técnico Lisboa, 1992
675 ## $a681.3(043)$vBN$zpor$3297317
675 ## $a621.3.04(043)$vBN$zpor$31227036
675 ## $a519.68(043)$vBN$zpor$3302159
700 #1 $aMonteiro,$bJosé Carlos Alves Pereira$382495
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 74208 V.$x1