امل فرحان سوادي
- المعهد التقني / البصرة
- تقنيات ادارة المكتب
نسخ
طباعة
Excel
.CSV
PDF
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS …
Step-Indexed Syntactic Logical Relations for Recursive Types, Type Abstraction, and Mutable Storage
Equivalence-Preserving Compilation
Translating Dependency into Parametricity, Revisited
Program Chair: Orna Kupferman, The Hebrew University
Multi-Language Programming Systems: a Linear Experiment
Parametric Polymorphism Through Run-time Sealing
08061 Abstracts Collection--Types, Logics and Semantics for State
08061 Executive Summary--Types, Logics and Semantics for State
BASEMENT-MEMBRANE DISRUPTION AND MYOFIBROBLAST RESPONSE IN DUCTAL CARCINOMA INSITU OF THE BREAST
L 3: A Linear Language with Locations (Technical Report)
Spa typing of Staphylococcus aureus Isolated from Clinical Specimens from Outpatients in Iraq
Nonlinear analysis of bridge girders subjected to lateral impact loading
Reuse of high-density polyethylene waste in concrete mixes.
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS …
- رابط البحث : https://scholar.google.com/scholar?oi=bibs&hl=en&cites=17901301778459596352
- تم النشر : 2018
Step-Indexed Syntactic Logical Relations for Recursive Types, Type Abstraction, and Mutable Storage
- رابط البحث : https://scholar.google.com
- تم النشر :
Equivalence-Preserving Compilation
- رابط البحث : https://scholar.google.com
- تم النشر :
Translating Dependency into Parametricity, Revisited
- رابط البحث : https://scholar.google.com
- تم النشر :
Program Chair: Orna Kupferman, The Hebrew University
- رابط البحث : https://scholar.google.com
- تم النشر :
Multi-Language Programming Systems: a Linear Experiment
- رابط البحث : https://scholar.google.com
- تم النشر :
Parametric Polymorphism Through Run-time Sealing
- رابط البحث : https://scholar.google.com
- تم النشر :
Dagstuhl Seminar Proceedings
08061 Abstracts Collection--Types, Logics and Semantics for State
- رابط البحث : https://scholar.google.com
- تم النشر : 2008
Dagstuhl Seminar Proceedings
08061 Executive Summary--Types, Logics and Semantics for State
- رابط البحث : https://scholar.google.com
- تم النشر : 2008
JOURNAL OF PATHOLOGY 163 (2), A179-A
BASEMENT-MEMBRANE DISRUPTION AND MYOFIBROBLAST RESPONSE IN DUCTAL CARCINOMA INSITU OF THE BREAST
- رابط البحث : https://scholar.google.com
- تم النشر : 1991
Work 3 (r2)
L 3: A Linear Language with Locations (Technical Report)
- رابط البحث : https://scholar.google.com
- تم النشر : 2004
Polish Journal of Microbiology
Spa typing of Staphylococcus aureus Isolated from Clinical Specimens from Outpatients in Iraq
- رابط البحث : https://scholar.google.com/scholar?oi=bibs&hl=en&cites=18068961110994904442
- تم النشر : 2021
J. Eng. Technol
Nonlinear analysis of bridge girders subjected to lateral impact loading
- رابط البحث : https://scholar.google.com/scholar?oi=bibs&hl=en&cites=8341749355674173822
- تم النشر : 2017
Solid State Technology
Reuse of high-density polyethylene waste in concrete mixes.
- رابط البحث : https://scholar.google.com
- تم النشر : 2020