نتایج جستجو برای: mohammad ibn idris shafi
تعداد نتایج: 6182 فیلتر نتایج به سال:
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...
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 ...
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.
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...
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 ...
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...
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...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید