714 results on '"BARBOSA, MANUEL"'
Search Results
102. Deductive verification of cryptographic software
103. PROJETO -COMBATE SOCIOEDUCATIVO AO ISOLAMENTO DA PESSOA IDOSA & 'CONTRA A SOLIDÃO SÉNIOR'
104. CSI - Projeto de Combate Socioeducativo ao Isolamento do Idoso no Município de Viseu
105. What Basophil Testing Tells Us About CSU Patients – Results of the CORSA Study
106. Recurrent criminal behavior and executive dysfunction
107. Educacao, cidadania e sociedade civil. Repensando sentidos e articulacoes em tempos de mudanca
108. Coxiella Burnetti Infective Endocarditis – Detection and Cure
109. Caso clínico: Hipersensibilidade tardia à budesonida inalada
110. Luís da Cruz e companhia na correspondência de Manuel Correia
111. Grape seed flavanols, but not Port wine, prevent ethanol-induced neuronal lipofuscin formation
112. Specific oral tolerance induction (SOTI) to cow’s milk in an adult patient with anaphylaxis symptoms
113. Handgrip Strength Time Profile and Frailty: An Exploratory Study
114. SoK: Computer-Aided Cryptography
115. The effects of nerve growth factor upon the neuropeptide content of the suprachiasmatic nucleus of rats withdrawn from ethanol are mediated by the nucleus basalis magnocellularis
116. Selective loss of hilar neurons and impairment of initial learning in rats after repeated administration of electroconvulsive shock seizures
117. On the Relationship between Functional Encryption, Obfuscation, and Fully Homomorphic Encryption
118. On the Semantic Security of Functional Encryption Schemes
119. Nerve growth factor improves spatial learning and restores hippocampal cholinergic fibers in rats withdrawn from chronic treatment with ethanol
120. Type Checking Cryptography Implementations
121. On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification
122. Teatro tomo II: vida humana
123. Francoise Fery-Hue (coord.), Traduire de vernaculaire en latin au Moyen Age et a la Renaissance
124. Antonio Beccadelli, el Panormita, Dichos y hechos de Alfonso, rey de Aragon. Discurso de Alfonso com motivo de la expedicion contra los Turcos. El triunfo Alfonsino
125. Pierio Valeriano, Jeroglíficos
126. Nerve growth factor restores mRNA levels and the expression of neuropeptides in the suprachiasmatic nucleus of rats submitted to chronic ethanol treatment and withdrawal
127. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Σ-Protocols
128. Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles
129. Strong Knowledge Extractors for Public-Key Encryption Schemes
130. Verifying Cryptographic Software Correctness with Respect to Reference Implementations
131. Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
132. Secure Conflict-free Replicated Data Types
133. Secure Biometric Authentication with Improved Accuracy
134. Recensão a MIRANDA, Margarida, Miguel Venegas and the Earliest Jesuit Theater: Choruses for Tragedies in Sixteenth-Century, Leiden – Boston, Brill, 2019 (Jesuit Studies: Modernity through the prism of Jesuit History, volume 23), XVI + 240 pp.
135. EDUCAÇÃO E DEMOCRACIA: DO RISCO DE DESARTICULAÇÃO A UMA RECOMPOSIÇÃO CRÍTICA
136. Protein-conformational diseases in childhood: Naturally-occurring hIAPP amyloid-oligomers and early β-cell damage in obesity and diabetes
137. The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
138. Teatro jesuítico e estética barroca: o testemunho dum drama truncado, anónimo e sem título (BPE, cod. CVIII /2-7, 61r-85v)
139. Impaired water maze navigation of Wistar rats with retrosplenial cortex lesions: effect of nonspatial pretraining
140. Nerve growth factor restores the expression of vasopressin and vasoactive intestinal polypeptide in the suprachiasmatic nucleus of aged rats
141. 'E-FATURAS' SERVICE'S [E-INVOICE SERVICE] USABILITY EVALUATION BY SENIOR CITIZENS OF THE VISEU MUNICIPALITY
142. What is the opinion of Brazilian and Portuguese elderly people about Covid19?
143. Modulation of rat cerebellum oxidative status by prolonged red wine consumption
144. Red Wine, but not Port Wine, Protects Rat Hippocampal Dentate Gyrus Against Ethanol-Induced Neuronal Damage—Relevance of the Sugar Content
145. Perfect Forward Security of SPAKE2
146. Deductive Verification of Cryptographic Software
147. AIRES BARBOSA, Obra poetica. I--Epigramas; II--Antimoria [1495-1536]
148. Georges Buchanan, Poetic Paraphrase of the Psalms of David (Psalmorum Dauidis paraphrasis poetica)
149. Claude Moussy (dir.), Espace et temps en latin
150. Le rôle des idées pédagogiques dans le métier d'enseignant recherche d’une conception au-delà de la simplification
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.