5 مقاله با این کلمه کلیدی منتشر شده است. کلمه کلیدی : formal methods تعداد محقق : 16 مقالات رویدادها : 5 مقاله مقالات ژورنال ها : 0 مقاله تاریخچه تمام جستجوها : 485 جستجو تاریخ انتشار عنوان مقاله رویداد ژورنال محبوبترین مقاله زبان مقاله computing knowledge in security protocols under convergent equational theories Event : journal of automated reasoning 2013 0 0 743 قیمت : رایگان مشاهده و دریافت مقاله کامل formally verified tableau-based reasoners for a description logic Event : journal of automated reasoning 2013 0 0 814 قیمت : رایگان مشاهده و دریافت مقاله کامل decidability and combination results for two notions of knowledge in security protocols Event : journal of automated reasoning 2013 0 0 758 قیمت : رایگان مشاهده و دریافت مقاله کامل reducing equational theories for the decision of static equivalence Event : journal of automated reasoning 2013 0 0 777 قیمت : رایگان مشاهده و دریافت مقاله کامل learning register automata: from languages to program structures Event : machine learning 2013 0 0 1183 قیمت : رایگان مشاهده و دریافت مقاله کامل
مقالات جدیدترین رویدادها استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان) برنامه ریزی استراتژیک پژوهشی در دانشگاه ها و مؤسسات آموزش عالی مطالعه موردی: دانشگاه رازی کرمانشاه آزمایشگاه شیمی مدارس و مدیریت پسماندهای آن استفاده از مفصل مرکب vm برای بررسی اندرکنش نیروی برشی – لنگرخمشی در تیرهای رابط قابهای بادبندی شده خارج از مرکز تأثیر هوشیاری کارآفزینی و قابلیت های تکنولوژی های اطلاعاتی بز چابکی استزاتژیک و رقابت پذیری تجاری سازمان (مورد مطالعه: شزکت پارس خودرو) drop size distribution in a mixer–settler reactor for the gold chloride/dbc system مقالات جدیدترین ژورنال ها مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان) بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان) مسئولیت حسابرس و کشف تقلب تجزیه و تحلیل مدل های مرجع مدیریت راهبردی متناسب با سازمان های ماموریت محور و بررسی نقش نظریه بازی ها در آن ها بررسی جایگاه هندسه در معماری مساجد صفویه با رویکرد هنر قدسی نمونه موردی : اصفهان بررسی نقاط حساس اکسل عقب خودروی پژو 405 تحت اعمال ناهمواری های جاده توسط نرم افزار abaqus deformations of r.c.circular slabs in fire condition