لطفا کمی صبر نمایید ...
سیویلیکا را در شبکه های اجتماعی دنبال نمایید.
ورود
جستجوی پیشرفته
استعلام پایان نامه
مقاله فارسی
ISI
کنفرانسها
ژورنالها
مقاله
مقاله ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
یادداشت های علمی
مخزن پیش چاپ
English
ورود / ثبت نام
مقاله
مقاله ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
استعلام پایان نامه
English
استعلام پایان نامه
جستجوی مقالات داخلی
موضوعات مورد نظر را انتخاب نمایید
دسته بندی:
مقالات کنفرانسی
مقالات ژورنالی
کتابها
طرح های پژوهشی
اسناد پژوهشی
گزارشات
مقالات پیش چاپ
نوع نتایج:
دارای فایل کامل
دارای فایل Word
جستجو بدون در نظر گرفتن جایگاه کلمات صورت بگیرد
محدود کردن سال انتشار مقاله به:
همه سالها
سالهای معین:
جستجو
نمایش
کلیه اطلاعات
فقط عنوان مقاله
تعداد نتایج در هر صفحه
10
20
مرتب سازی با
عنوان مقاله
سال انتشار
نمایه سازی
صعودی
نزولی
فیلتر نتایج
حسن حقیقی
مقاله ژورنالی
Using Static Information of Program s to Partition the Input Domain in Search based Test Data Generation
نویسندگان:
Atieh Monemi-Bidgoli
،
Hassan Haghighi
سال انتشار 1399
محل انتشار:
فصلنامه سیستم های اطلاعاتی و مخابرات شماره 4، دوره 8
تعداد صفحات:
12
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
Generating Game Map Layouts for Formally Specified Nonlinear Narratives
نویسندگان:
Saeed Amiri-Chimeh
،
Hassan Haghighi
،
Mojtaba Vahidi-Asl
سال انتشار 1400
محل انتشار:
هفتمین کنفرانس بین المللی بازی های رایانه ای، فرصت ها و چالش ها
تعداد صفحات:
9
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
Formal Development of Two Player Games: A Constructive Approach
نویسندگان:
Hassan Haghighi
،
Seyyed Hassan Mirian-Hosseinabadi
سال انتشار 1385
محل انتشار:
دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران
تعداد صفحات:
8
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
A Refinement Approach for Developing Probabilistic Programs
نویسندگان:
Hassan Haghighi
،
Seyyed Hassan Mirian-Hosseinabadi
سال انتشار 1388
محل انتشار:
چهاردهمین کنفرانس بین المللی سالانه انجمن کامپیوتر ایران
تعداد صفحات:
6
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله ژورنالی
a bio-inspired self -configuring observer/controller for organic computing systems
نویسندگان:
ali Tarihi
،
Hassan Haghighi
،
Fereidoon Shams Aliee
سال انتشار 1395
محل انتشار:
فصلنامه سیستم های اطلاعاتی و مخابرات شماره 3، دوره 4
تعداد صفحات:
11
| زبان: انگلیسی
مشاهده خلاصه و دریافت