2 مقاله با این کلمه کلیدی منتشر شده است. کلمه کلیدی : acl2 تعداد محقق : 6 مقالات رویدادها : 2 مقاله مقالات ژورنال ها : 0 مقاله تاریخچه تمام جستجوها : 398 جستجو تاریخ انتشار عنوان مقاله رویداد ژورنال محبوبترین مقاله زبان مقاله proof pearl: a formal proof of higman’s lemma in acl2 Event : journal of automated reasoning 2013 0 0 668 قیمت : رایگان مشاهده و دریافت مقاله کامل proof pearl: a formal proof of dally and seitz’ necessary and sufficient condition for deadlock-free routing in interconnection networks Event : journal of automated reasoning 2013 0 0 899 قیمت : رایگان مشاهده و دریافت مقاله کامل
مقالات جدیدترین رویدادها استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان) تاثیر مدل های سخت شدگی کششی بر پاسخ عددی تیرهای بتن مسلح تحت اثر لنگر خمشی – پیچشی بررسی رفتار تحکیمی و ضریب نفوذ پذیری افقی خاک های ریزدانه با استفاده از دستگاه تحکیم هیدرولیکی بررسی آزمایشگاهی شرایط عملیاتی در جهت کاهش تأثیر پلاریزاسیون غلظت بر عملکرد فرآیند اسمز مستقیم (fo) بررسی سازگاری زیست محیطی بتن الیافی گرمازا و ضدانفجار به عنوان مصالح هوشمند در صنعت ساختمان ni-modified mo2c catalysts for methane dry reforming مقالات جدیدترین ژورنال ها مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان) بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان) تعیین استراتژی مدیریت دانش سازمان صدا وسیمای جمهوری اسلامی ایران شناسایی و اولویت بندی عوامل مؤثر در پیاده سازی تجارت الکترونیک در شرکتهای بیمه ایران استان هرمزگان حقوق شهدای ترور از منظر ایران و حقوق بین الملل comprehensive objective evaluation of it process management based on cobit and balanced scorecard philosophical analysis of theory x and y