لطفا کمی صبر نمایید ...
ورود
جستجوی پیشرفته
استعلام پایان نامه
مقالات فارسی
ISI
کنفرانسها
ژورنالها
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
ورود / ثبت نام
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
استعلام پایان نامه
ظاهر تیره
استعلام پایان نامه
جستجوی مقالات داخلی
دسته بندی:
مقالات کنفرانسی
مقالات ژورنالی
کتابها
طرح های پژوهشی
اسناد پژوهشی
گزارشات
نوع نتایج:
دارای فایل کامل
دارای فایل Word
جستجو بدون در نظر گرفتن جایگاه کلمات صورت بگیرد
محدود کردن سال انتشار مقاله به:
همه سالها
سالهای معین:
جستجو
نمایش
کلیه اطلاعات
فقط عنوان مقاله
تعداد نتایج در هر صفحه
10
20
مرتب سازی با
عنوان مقاله
سال انتشار
نمایه سازی
صعودی
نزولی
فیلتر نتایج
رسول جلیلی
حمیدرضا محروقی
سیدحسن میریان حسین آبادی
کیوان محبی
بهروز ترک لادانی
سعید جلیلی
مقاله ژورنالی
ارائه الگوریتمی جهت تسریع روش تکرار سیاست در راستی آزمایی فرآیندهای تصمیم مارکوف با استفاده از یادگیری ماشین
نویسندگان:
محمدصادق محققی
سال انتشار 1401
محل انتشار:
مجله محاسبات نرم شماره 2، دوره 11
تعداد صفحات:
15
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
وارسی و اعتبارسنجی خودکار نمودارهای فعالیت زبان مدل سازی یکنواخت
نویسندگان:
سمیه عزیزی
،
کیوان محبی
سال انتشار 1394
محل انتشار:
کنفرانس بین المللی پژوهش های کاربردی در فناوری اطلاعات، کامپیوتر ومخابرات
تعداد صفحات:
15
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
کاربرد خودکار تعامل مولفه ها درتوصیف ووارسی سیستم ها با استفاده از ابزار CoIn وDiVinE: مطالعه موردی سیستم سوخت رسانی خودروهای انژکتوری
نویسندگان:
جابر کریم پور
،
ساناز خبرت
سال انتشار 1391
محل انتشار:
دومین کنفرانس ملی مهندسی نرم افزار دانشگاه آزاد لاهیجان
تعداد صفحات:
7
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
کاربرد خودکارهای تعامل مولفه ها درتوصیف و وارسی سیستم ها: مطالعه موردی سیستم سوخت رسانی خودروهای انژکتوری
نویسندگان:
جابر کریم پور
،
ساناز خبرت
سال انتشار 1391
محل انتشار:
پانزدهمین کنفرانس دانشجویی مهندسی برق ایران
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
ارزیابی روشهای تفکیک حالات و ارتقا درتوصیف صوری نرم افزار: یک تجربه عملی
نویسندگان:
علیرضا روحی
،
سیدحسن میریان حسین آبادی
سال انتشار 1383
محل انتشار:
دهمین کنفرانس سالانه انجمن کامپیوتر ایران
تعداد صفحات:
8
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
تحلیل صوری ویژگی وارسی پذیری میکس نت با استفاده از حساب پی کاربردی
نویسندگان:
بنیامین تختایی
،
حمیدرضا محروقی
،
رسول جلیلی
سال انتشار 1390
محل انتشار:
هشتمین کنفرانس انجمن رمز ایران
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
تحلیل امنیت یک پروتکل احراز اصالت و تبادل کلید در کاربرد VoIP
نویسندگان:
بهروز ترک لادانی
،
سعید جلیلی
سال انتشار 1385
محل انتشار:
چهاردهمین کنفرانس مهندسی برق ایران
تعداد صفحات:
7
| زبان: فارسی
مشاهده خلاصه و دریافت