1,141 results on '"Leroy, Xavier"'
Search Results
152. TARGETED PARTIAL PROSTATECTOMY FOR ISOLATED, ANTERIOR CANCER: A NOVEL LAPAROSCOPIC/ROBOTIC TECHNIQUE: V473
153. Vascular endocan (ESM-1) is markedly overexpressed in clear cell renal cell carcinoma
154. À la recherche du logiciel parfait
155. Formal Verification of a C Compiler Front-End
156. Coinductive Big-Step Operational Semantics
157. The helicase-like transcription factor is a strong predictor of recurrence in hypopharyngeal but not in laryngeal squamous cell carcinomas
158. Formal Verification of a Memory Model for C-Like Imperative Languages
159. Peripheral Zone Prostate Cancers: Location and Intraprostatic Patterns of Spread at Histopathology
160. Transition Zone and Anterior Stromal Prostate Cancers: Zone of Origin and Intraprostatic Patterns of Spread at Histopathology
161. Formal Verification of an Optimizing Compiler
162. Effects of long-term finasteride treatment on prostate cancer morphology and clinical outcome
163. CYSTIC RENAL CELL CARCINOMAS IN ADULTS. IS PREOPERATIVE RECOGNITION OF MULTILOCULAR CYSTIC RENAL CELL CARCINOMA POSSIBLE?
164. Call-by-Value Mixin Modules
165. Formal verification of a realistic compiler
166. Retroperitoneal infiltration as the first sign of Erdheim-Chester disease
167. DYNAMIC CONTRAST-ENHANCED PELVIC-PHASED ARRAY MAGNETIC RESONANCE IMAGING FOR DETECTION OF LOCALIZED PROSTATE CANCER: CORRELATION WITH RADICAL PROSTATECTOMY FINDINGS: 1875
168. The CompCert C verified compiler: Documentation and user’s manual: Version 3.6
169. The OCaml system release 4.09: Documentation and user's manual
170. Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection
171. Computer Security from a Programming Language and Static Analysis Perspective
172. Mixin Modules in a Call-by-Value Setting
173. Endoluminal occlusion of the inferior vena cava in renal cell carcinoma with retro- or suprahepatic caval thrombus
174. On-Card Bytecode Verification for Java Card
175. Java Bytecode Verification: An Overview
176. Testicular natural killer T-cell lymphoma
177. Apoptosis inhibition in P. aeruginosa-induced lung injury influences lung fluid balance
178. Security Properties of Typed Applets
179. Primary atypical carcinoid of the kidney: a classification is needed
180. Immunohistochemical detection of Fas and Fas ligand in sarcomatoid renal cell carcinoma
181. Value of Frozen Section Examination for the Management of Nonpalpable Incidental Testicular Tumors
182. Nodular granulomatous Pneumocystis carinii pneumonia in a bone marrow transplant recipient: Case report
183. Embedded Program Annotations for WCET Analysis
184. CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler
185. Evaluating the prognostic potential of the Ki67 proliferation index and tumour‐infiltrating lymphocytes in olfactory neuroblastoma
186. Abstract 3278: EOS100850 potently restores adenosine A2Areceptor-dependent suppression of T cell function in the adenosine rich tumor microenvironment
187. Abstract 3261: EOS100850, a non-brain penetrant highly selective A2Areceptor antagonist, uniquely maintains high potency within the adenosine rich tumor microenvironment
188. Abstract 4147: EOS100850, an A2Areceptor antagonist with prolonged pharmacodynamic activity, mediates the generation ofspecific durable immune responses in a murine breast cancer model
189. TMPRSS2:ERG gene fusion expression regulates bone markers and enhances the osteoblastic phenotype of prostate cancer bone metastases
190. Morphologic Subtyping of Papillary Renal Cell Carcinoma: Correlation with Prognosis and Differential Expression of MUC1 between the Two Subtypes
191. Dendritic Cell Infiltration In A Patient With Seminomatous Germ Cell Tumor Of The Testis: Is There A Relationship With Infertility And Tumor Stage?
192. Dynamics in ML
193. Histoséminaire sur le cancer de prostate : nouveautés OMS 2016 – cas no04 : adénocarcinome prostatique mucineux
194. Histoséminaire sur le cancer de prostate : nouveautés OMS 2016 – cas no 5 : adénocarcinome prostatique avec modifications post-radiothérapie
195. CompCert - A Formally Verified Optimizing Compiler
196. Microcystic transitional cell carcinoma: A report of 2 cases arising in the renal pelvis
197. Embedded Program Annotations for WCET Analysis
198. Adolf Hitler : The Emergence of Nazism
199. Adolf Hitler : Le dictateur à l'origine de la folie nazie
200. Chronic pneumonia with Pseudomonas aeruginosa and impaired alveolar fluid clearance
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.