ورود به حساب کاربری
رشته و گرایش ها
علوم انسانی
علوم پایه
علوم پزشکی
علوم زیستی
فنی و مهندسی
همه دسته بندی های علوم انسانی
تربیت بدنی
زبان و ادبیات فارسی
روانشناسی
فقه و حقوق اسلامی
الهیات و معارف اسلامی
زبان و ادبیات عربی
علوم سیاسی
هنر
فلسفه
علوم قضایی
علوم تربیتی
حقوق
کتابداری
جغرافیا
باستان شناسی
تاریخ
علوم اسلامی
علوم اجتماعی
مدیریت
مدیریت صنعتی
مدیریت دولتی
اقتصاد
حسابداری
جامعه شناسی
همه دسته بندی های علوم پایه
شیمی
آمار
ریاضی
علوم کامپیوتر
فیزیک
همه دسته بندی های علوم پزشکی
بهداشت
روان پزشکی
صنایع غذایی
علوم تغذیه
علوم آزمایشگاهی
علوم ورزشی
داروسازی
دندانپزشکی
بیوتکنولوژی
ژنتیک
توانبخشی
فیزیولوژی
داروشناسی
بیوشیمی
مامایی
پرستاری
همه دسته بندی های علوم زیستی
علوم آب
کشاورزی
زمین شناسی
دامپزشکی
محیط زیست
منابع طبیعی
همه دسته بندی های فنی و مهندسی
مهندسی انرژی
مهندسی شیمی
شیمی معدنی
شیمی تجزیه
شیمی فیزیک
نانو شیمی
مهندسی کامپیوتر
مهندسی پزشکی
مهندسی صنایع
مهندسی مکانیک
هوا و فضا
مهندسی معدن
معماری
شهرسازی
علوم مهندسی
رباتیک
مهندسی عمران
هیدرولوژی
مهندسی سازه
مهندسی برق
مهندسی مواد
بیو مواد
نانو مواد
متالوژی
مهندسی نفت
پتروشیمی
صفحه ی اصلی
مقالات
رویدادها
ژورنال ها
دانشگاه ها
وبلاگ
ثبت رویدادها
ثبت ژورنال ها
ارتباط با ما
صفحه نخست
مقالات
رویدادها
ژورنال ها
دانشگاه ها
وبلاگ
ثبت رویدادها
ثبت ژورنال ها
ارتباط با ما
علوم انسانی
تربیت بدنی
زبان و ادبیات فارسی
روانشناسی
فقه و حقوق اسلامی
الهیات و معارف اسلامی
زبان و ادبیات عربی
علوم سیاسی
هنر
فلسفه
علوم قضایی
علوم تربیتی
حقوق
کتابداری
جغرافیا
باستان شناسی
تاریخ
علوم اسلامی
علوم اجتماعی
مدیریت
مدیریت صنعتی
مدیریت دولتی
اقتصاد
حسابداری
جامعه شناسی
علوم پایه
شیمی
آمار
ریاضی
علوم کامپیوتر
فیزیک
علوم پزشکی
بهداشت
روان پزشکی
صنایع غذایی
علوم تغذیه
علوم آزمایشگاهی
علوم ورزشی
داروسازی
دندانپزشکی
بیوتکنولوژی
ژنتیک
توانبخشی
فیزیولوژی
داروشناسی
بیوشیمی
مامایی
پرستاری
علوم زیستی
علوم آب
کشاورزی
زمین شناسی
دامپزشکی
محیط زیست
منابع طبیعی
فنی و مهندسی
مهندسی انرژی
مهندسی شیمی
شیمی معدنی
شیمی تجزیه
شیمی فیزیک
نانو شیمی
مهندسی کامپیوتر
مهندسی پزشکی
مهندسی صنایع
مهندسی مکانیک
هوا و فضا
مهندسی معدن
معماری
شهرسازی
علوم مهندسی
رباتیک
مهندسی عمران
هیدرولوژی
مهندسی سازه
مهندسی برق
مهندسی مواد
بیو مواد
نانو مواد
متالوژی
مهندسی نفت
پتروشیمی
برای دریافت مقالات ابتدا باید وارد سایت تی پی بین شوید . ثبت نام در تی پی بین رایگان می باشد .
به رایگان از اعضاء تی پی بین شوید
برای دریافت مقالات ابتدا باید وارد سایت تی پی بین شوید . ثبت نام در تی پی بین رایگان می باشد .
به رایگان از اعضاء تی پی بین شوید
خلاصه مقاله :
on automation in the verification of software barriers: experience report
Authors :
alexander malkis-anindya banerjee
مقالات مرتبط :
verification of design spaces developed at subscale
Authors :
thomas garcia-vincent mccurdy-timothy n j watson-mary am ende-penny butterell
fingerprint verification system based on curvelet transform and possibility theory
Authors :
hanene guesmi-hanene trichili-adel m alimi-basel solaiman
a scheme for the evaluation of experience of the performance of timber structures
Authors :
gerhard fink-jochen kohler
dynamic reduction-based structural damage detection of transmission towers: practical issues and experimental verification
Authors :
heungfai lam-tao yin
design of a chemical kinetics software for kinetic parameter estimation and model discrimination
Authors :
ali abbasi-majid bahmanimakvandzadeh
مقالات جدیدترین رویدادها
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
بررسی تاثیر عوامل برند بر وضعیت خدمات و وفاداری برندمطالعه موردی: بانک اقتصاد نوین
توان انگیزشی مشاغل در کارکنان بخش مدارک پزشکی بیمارستان های آموزشی شهر اصفهان
جایگاه و چالش های توسعه و بهینه سازی فنآوری تولید سوخت زیستی ریزجلبکی در ایران و جهان
modeling hong kong’s stock index with the student t-mixture autoregressive model
microwave-assisted synthesis and antibacterial activity of derivatives of 3-[1-(4-fluorobenzyl)-1h-indol-3-yl]-5-(4-fluorobenzylthio)-4h-1,2,4-triazol-4-amine
مقالات جدیدترین ژورنال ها
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
بررسی سیستم مدیریت دانش از سه منظر اهمیت، تهدید ها و روش های توسعه
تاثیر افشای اجباری ضعف کنترل های داخلی بر تصمیم گیری های سرمایه گذاری شرکت
طراحی فرآیند و تبیین الگویی جامع و یکپارچه حسابداری منابع انسانی برای ثبت احوال
بررسی و نقش مراکز مشاوره و مشاوران در رفع مشکلات و ناهنجاری های دانش آموزان نوجوان
experimental investigation and modeling of parameters affecting biogas production process from food waste by anaerobic digestion method