نتایج جستجو برای: mohammad ibn idris shafi

تعداد نتایج: 6182  

2009
Thomas R. Cundari Bhaskar Chilukuri Joshua M. Hudson Christian Minot Mohammad A. Omary Hassan Rabaâ

Periodic andMolecularModeling Study of Donor-Acceptor Interactions in (dbbpy)Pt(tdt) 3TENF and [Pt(dbbpy)(tdt)]2 3TENF Thomas R. Cundari,* Bhaskar Chilukuri, Joshua M. Hudson, Christian Minot, Mohammad A. Omary, and Hassan Rabaâ Department of Chemistry, Center for Advanced Scientific Computing and Modeling (CASCaM), University of North Texas, Box 305070, Denton, Texas 76203-5070, Laboratoire de...

Journal: :ادب عربی 0
محمد دزفولی استادیار دانشگاه تهران علی صیادانی دانشجوی دورة دکتری زبان و ادبیات عربی رسول بازیار دانشجوی دوره کارشناسی ارشد رشته مترجمی زبان عربی

praising of holy prophet is of those topics, which have drawn the poets’ attention since early islamic period and they have versified a lot of poems in this regard. this started with odes from some poets like kaab ibn zohayr, kaab ibn malek, hassan (ibn sabet), and other versifiers of islamic period. despite of its dormancy which governed during omayyad and abbasid dynasties, it resumed moving ...

2013
Hannes Mehnert

This document describes the interaction of the Idris compiler with the editor emacs, to facilitate a lightweight development environment for Idris programs in emacs. The goal of the ideslave mode is to provide from Idris a structured input and output command processor, which supports all features available in the command line version of the Idris compiler.

2014
Hannes Mehnert David Christiansen

Dependently typed programming languages have a rich type system, which enables developers to combine proofs with programs, sometimes even eroding the boundary between the activities of proving and programming. This introduces new challenges for integrated development environments that must support this boundary. Instead of reimplementing large parts of a compiler, such as a type checker and a t...

2017
Heba Mohammad Hatem Tamimi

Higher education institutions are adopting innovative solutions and tools to enhance their educational outcomes and attract more learners. Social network websites (SNSs) are example about such technologies, which attracted the attention of instructors as well as students. This research aims to understand the students’ perceptions regarding using Social networking websites within their learning ...

ژورنال: مطالعات تفسیری 2013
Heydari, Mohammad Sadeq , Rabi' Nataj, Seyyed Ali Akbar ,

One of the outstanding works about allegorical and difficult Quranic verses is 'Mutashabih ul-Quran wa Al-mukhtalif Fih' by Mohammad Ibn Ali Ibn Shahr Ashub Mazandarani. In this book, he has analyzed the Quranic allegorical verses in distinct topics and the domain of his discussions revolve around various topics such as belief principles, religious commandments, and Quranic sciences. He sees al...

Journal: :إضاءت نقدیه فی الأدبین العربی و الفارسی 0
طیبة سیفی أستاذة مساعدة بجامعة الشهید بهشتی فی طهران، إیران. بهزاد حشمتی طالب مرحلة الدکتوراه بجامعة الشهید بهشتی فی طهران، إیران.

literature severely needs innovation and renewal to exit from weakness and inanition mood and there must be a strong connection between renewal and literal- cultural heritage. the renewal must prepare context to create new literal genres in addition to utilizing positive aspects of other cultures. so, this type of renewal is positive. hadith of isa ibn hisham, essay of mohammad al mavilhi is co...

Journal: : 2021

There is no consensus over the ascension, second coming and death of Prophet Jesus Christ in Islamic world. According to understanding which has been represented by Sunni, Shi’ite Muʿtazilite scholars existed until modern period, was ascended with his body he will come back earth Last Days. However, this opposed view that died, therefore it not possible for him In way, discussion whether died o...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید