ورود به حساب کاربری
رشته و گرایش ها
علوم انسانی
علوم پایه
علوم پزشکی
علوم زیستی
فنی و مهندسی
همه دسته بندی های علوم انسانی
تربیت بدنی
زبان و ادبیات فارسی
روانشناسی
فقه و حقوق اسلامی
الهیات و معارف اسلامی
زبان و ادبیات عربی
علوم سیاسی
هنر
فلسفه
علوم قضایی
علوم تربیتی
حقوق
کتابداری
جغرافیا
باستان شناسی
تاریخ
علوم اسلامی
علوم اجتماعی
مدیریت
مدیریت صنعتی
مدیریت دولتی
اقتصاد
حسابداری
جامعه شناسی
همه دسته بندی های علوم پایه
شیمی
آمار
ریاضی
علوم کامپیوتر
فیزیک
همه دسته بندی های علوم پزشکی
بهداشت
روان پزشکی
صنایع غذایی
علوم تغذیه
علوم آزمایشگاهی
علوم ورزشی
داروسازی
دندانپزشکی
بیوتکنولوژی
ژنتیک
توانبخشی
فیزیولوژی
داروشناسی
بیوشیمی
مامایی
پرستاری
همه دسته بندی های علوم زیستی
علوم آب
کشاورزی
زمین شناسی
دامپزشکی
محیط زیست
منابع طبیعی
همه دسته بندی های فنی و مهندسی
مهندسی انرژی
مهندسی شیمی
شیمی معدنی
شیمی تجزیه
شیمی فیزیک
نانو شیمی
مهندسی کامپیوتر
مهندسی پزشکی
مهندسی صنایع
مهندسی مکانیک
هوا و فضا
مهندسی معدن
معماری
شهرسازی
علوم مهندسی
رباتیک
مهندسی عمران
هیدرولوژی
مهندسی سازه
مهندسی برق
مهندسی مواد
بیو مواد
نانو مواد
متالوژی
مهندسی نفت
پتروشیمی
صفحه ی اصلی
مقالات
رویدادها
ژورنال ها
دانشگاه ها
وبلاگ
ثبت رویدادها
ثبت ژورنال ها
ارتباط با ما
صفحه نخست
مقالات
رویدادها
ژورنال ها
دانشگاه ها
وبلاگ
ثبت رویدادها
ثبت ژورنال ها
ارتباط با ما
علوم انسانی
تربیت بدنی
زبان و ادبیات فارسی
روانشناسی
فقه و حقوق اسلامی
الهیات و معارف اسلامی
زبان و ادبیات عربی
علوم سیاسی
هنر
فلسفه
علوم قضایی
علوم تربیتی
حقوق
کتابداری
جغرافیا
باستان شناسی
تاریخ
علوم اسلامی
علوم اجتماعی
مدیریت
مدیریت صنعتی
مدیریت دولتی
اقتصاد
حسابداری
جامعه شناسی
علوم پایه
شیمی
آمار
ریاضی
علوم کامپیوتر
فیزیک
علوم پزشکی
بهداشت
روان پزشکی
صنایع غذایی
علوم تغذیه
علوم آزمایشگاهی
علوم ورزشی
داروسازی
دندانپزشکی
بیوتکنولوژی
ژنتیک
توانبخشی
فیزیولوژی
داروشناسی
بیوشیمی
مامایی
پرستاری
علوم زیستی
علوم آب
کشاورزی
زمین شناسی
دامپزشکی
محیط زیست
منابع طبیعی
فنی و مهندسی
مهندسی انرژی
مهندسی شیمی
شیمی معدنی
شیمی تجزیه
شیمی فیزیک
نانو شیمی
مهندسی کامپیوتر
مهندسی پزشکی
مهندسی صنایع
مهندسی مکانیک
هوا و فضا
مهندسی معدن
معماری
شهرسازی
علوم مهندسی
رباتیک
مهندسی عمران
هیدرولوژی
مهندسی سازه
مهندسی برق
مهندسی مواد
بیو مواد
نانو مواد
متالوژی
مهندسی نفت
پتروشیمی
برای دریافت مقالات ابتدا باید وارد سایت تی پی بین شوید . ثبت نام در تی پی بین رایگان می باشد .
به رایگان از اعضاء تی پی بین شوید
برای دریافت مقالات ابتدا باید وارد سایت تی پی بین شوید . ثبت نام در تی پی بین رایگان می باشد .
به رایگان از اعضاء تی پی بین شوید
خلاصه مقاله :
formal metatheory of programming languages in the matita interactive theorem prover
Authors :
wilmer ricciotti-andrea asperti-claudio sacerdoti coen-enrico tassi
مقالات مرتبط :
development of a design space for a unit operation: illustration using compression-mix blending process for the manufacture of a tablet dosage form
Authors :
shiva g kapsi-lan d castro-fran x muller-thomas j wrzosek
affective-aware tutoring platform for interactive digital television
Authors :
sandra baldassarri-isabelle hupont-david abadía-eva cerezo
conjunctive optimization of surface water and groundwater resources by fuzzy dynamic programming
Authors :
حمیدرضا صفوی-mohammdali alijanian
soil classification using a combined algorithm of simulated annealing and genetic programming
Authors :
aar heshmati-m g sahab-ah alavi-ah gandomi
stiffened plates and cylindrical shells under interactive buckling
Authors :
srinivasan sridharan-madjid zeggane
مقالات جدیدترین رویدادها
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
درمان اختلالات املا نویسی در دانش آموزان پایه سوم
بررسی تأثیر ادراک مصرف کنندگان نسبت به رفتار اخلاقی فروشندگان بر وفاداری با میانجی گری نقش اعتماد به فروشنده و شرکت
بهبود عملکرد عناصر معماری در اقلیم گرم و مرطوب با استفاده از فناوری نانو
تاثیر سطح تحریک بهینه بر نیت استفاده مجدد از بانکداری تلفن همراه با نقش میانجی مدیریت عملیات بر پایه فناوری اطلاعات (مورد مطالعه: بانک ملی)
تأثیر زاویه باریک شدگی شمع های مقطع متغیر بر ظرفیت باربری فشاری گروه شمع با استفاده از روش عددی
مقالات جدیدترین ژورنال ها
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
بررسی و تحلیل تحولات نوین اقتصادی در حسابداری مدیریت
بررسی رابطه بین افشاء اختیاری ، تاخیر در گزارش حسابرس و هزینه بدهی در شرکت های پذیرفته شده در بورس اوراق بهادار تهران
بررسی تاثیر سیستم های کنترل داخلی بر رابطه بین مدیریت سود و عملکرد آتی شرکت
بررسی رابطه بین انطباق پذیری مسیر شغلی و انگیزش پیشرفت با رضایت شغلی در کارکنان شرکت نماگستر سپاهان و طلوع ایرانیان استان اصفهان
تاثیر ساختار مالکیت بر ارتباط بین اجتناب مالیاتی و هزینه بدهی