2
“... development of smart card applications with the support of the B method, generating Java Card code from...”
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B
Dissertação
3
4
“... consiste em um estudo comparativo dos tempos de decodificação medidos em cycles per byte, dos algoritmos...”
Estudo comparativo de algoritmos de decodificação para códigos de Goppa aplicados no Mcliece
Dissertação
5
6
“...><w:AdjustLineHeightInTable/><w:DontGrowAutofit/><w:BalanceSingleByteDoubleByteWidth/><w:DoNotExpandShift...”
Substâncias do veneno crotálico (Crotalus durissus) com bioatividade em canal deferente de camundongo eletricamente estimulado
Dissertação
7
“...SingleByteDoubleByteWidth/><w:DoNotExpandShiftReturn/></w:Compatibility><w:Zoom>0</w:Zoom...”
Potencial da imunização com extrato total de complexos cumulus-oócito suínos para a esterilização de fêmeas de camundongas e de cadelas
Dissertação