List of Articles in Publications
Showing 2,441-2,460 of 9,356 items.
| Article Title | Publication Name | Authors |
|---|---|---|
| Constructing Formal Rules to verify Message Communication in Distributed Systems | The Journal of Supercomputing | S.M. Babamir |
| تشبیه و تنزیه حق تعالی در عاشقانه های مولوی | مجله مطالعات اسلامی دانشکده الاهیات دانشگاه فردوسی مشهد (فقه و اصول کنونی) | حسین حیدری |
| بررسی اندیشه‌های کلامی مولوی در موضوع شفاعت | مجله مطالعات اسلامی دانشکده الاهیات دانشگاه فردوسی مشهد (فقه و اصول کنونی) | حسین حیدری |
| پیشوایی جامعه ی مسلمین در دیدگاه های اهل سنت و شیعه | مجله دانشکده علوم انسانی دانشگاه سمنان(مطالعات فقه و حقوق اسلامی کنونی) | حسین حیدری |
| تکلیف ما لایطاق در اندیشۀ مولانا و متکلمان مسلمان | مطالعات اسلامی ، مجله دانشکده الاهیات دانشگاه فردوسی مشهد ( جستارهایی در فلسفه و کلام کنونی) | حسین حیدری |
| تکلیف ما لایطاق در اندیشۀ مولانا و متکلمان مسلمان | مطالعات اسلامی ، مجله دانشکده الاهیات دانشگاه فردوسی مشهد ( جستارهایی در فلسفه و کلام کنونی) | حسین حیدری |
| تأثیر مینوی و جادویی نام و کلام در یهودیت | ادیان و عرفان | حسین حیدری,فرزانه فیاضی |
| بررسی تحلیلی و تطبیقی نخستین زیستگاه و هبوط انسان در کتاب مقدس با دیگراسطوره های خاورمیانه | ادبیات عرفانی و اسطوره‌شناختی | حسین حیدری,علی بهاری |
| (MSHD) و روش نوآورانه نفوذ بخارآب به کمک ریزموج HS-SPME مقایسه روش در استخراج ترکیبات فرار و اسانس از گیاهان دارویی و معطر | فصلنامه اکوفیزیولوژی و فیتوشیمی گیاهان دارویی و معطر، | سیده منصوره معمارزاده,عبدالله قاسمی پیربلوطی,علی غلامی,سید احمد نوربخش |
| بررسی تطبیقی جبر و اختیار در آثار سنایی | مطالعات عرفانی | حسین حیدری |
| عصمت انبیا در آراء و آثار مـولوی | مجله دانشکده علوم انسانی دانشگاه سمنان (مطالعات فقه و حقوق اسلامی کنونی) 2008-7012 | حسین حیدری |
| بررسی تطبیقی دیدگاه‌های انسان شناسی آبراهام مزلو و مولوی با تأکید بر خودشکوفایی | پژوهشنامه عرفان | حسین حیدری,خدیجه کاردوست فینی |
| Improving Performance of Software Fault Tolerant Techniques Using Multi-Core Architecture | Journal of Information Systems and Telecommunication | هدا بانکی ,سید مرتضی بابامیر,اعظم فرخ ,محمدمهدی مروتی |
| یک روش مبتنی بر دامنه برای شبیه¬سازی ناظر در کنترل نظارتی سیستم¬های گسسته | سیستم های هوشمند در مهندسی برق | سید مرتضی بابامیر |
| تعیین سطح توانایی روش¬های رسمی در توصیف و تحلیل نرم-افزار | نشریه مهندسی برق و مهندسی کامپیوتر ایران | سید مرتضی بابامیر,ویدا احمدی ثابت |
| Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample | Journal of Medical Systems | سید مرتضی بابامیر,مهدی برهانی |
| Improving Service Accessibility in Service-Oriented HIS | Journal of Medical Systems | سید مرتضی بابامیر,مسعود عرب فرد |
| پیمان شناسی، پیمان شکنی و گونه های آن در شاهنامه و متون مزداپرستی | پژوهش‌های اخلاقی | حسین حیدری,محدثه قاسم پور |
| Specification and verification of reliability in dispatching multicast messages | Journal of Supercomputing | سید مرتضی بابامیر |
| آینده دین؟ | کتاب ماه دین | فریبا طشت زر,حسین حیدری |