لطفا کمی صبر نمایید ...
ورود
Advanced Search
Thesis
مقالات فارسی
ISI
کنفرانسها
ژورنالها
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Login / Register
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Thesis
Dark Mode
استعلام پایان نامه
جستجوی مقالات داخلی
Catehory
Conference Papers
Journal Papers
Books
Plans
Research documents
Rports
Result Type:
Full Text
Has Word File
Search regardless of the position of the words
Limit article publication year to:
All years
Specific years:
Search
Show
All Information
Only Paper Title
Item Per Page
10
20
Sort By
Paper title
Year
Indexing
ABS
DESC
فیلتر نتایج
mehri Mehrjoo
Saeid Jalili
Nasrollah Moghadam
Seyed Morteza Babamir
Caro Lucas
نتایج 51 تا 60 از مجموع 71
First
...
3
4
5
6
7
8
Conference Paper
تخمین بیشترین درستی مدل گام گاما درکانالهای مخابرات نوری فضای آزاد
Authors:
مهدی کاظمی نیا
،
مهری مهرجو
Year 1392
Publish place:
Congress on Electrical, Computer and Information Technology
Pages:
5
| Language: Persian
View And Download
Conference Paper
کاربرد خودکار تعامل مولفه ها درتوصیف ووارسی سیستم ها با استفاده از ابزار CoIn وDiVinE: مطالعه موردی سیستم سوخت رسانی خودروهای انژکتوری
Authors:
جابر کریم پور
،
ساناز خبرت
Year 1391
Publish place:
2nd Lahijan National Conference on Software Engeering
Pages:
7
| Language: Persian
View And Download
Conference Paper
کاربرد خودکارهای تعامل مولفه ها درتوصیف و وارسی سیستم ها: مطالعه موردی سیستم سوخت رسانی خودروهای انژکتوری
Authors:
جابر کریم پور
،
ساناز خبرت
Year 1391
Publish place:
15th Iranian Student Conference on Electrical Engineering
Pages:
6
| Language: Persian
View And Download
Conference Paper
بررسی منطق چهارتایی و ارایه روش پیاده سازی توابع و الگوریتم ساده سازی عبارات درمنطق چهارتایی
Authors:
محمدحسین حسینی
،
مسعود غیاث بیگی
،
رسول مصلی
Year 1391
Publish place:
2nd National Conference Computer and Electrical and IT
Pages:
7
| Language: Persian
View And Download
Conference Paper
رویکرد تولید آزمون مبتنی بر روشهای رسمی برای وارسی درستی نرمافزار
Authors:
سعید جلیلی
،
سیدمرتضی بابامیر
Year 1382
Publish place:
11th Iranian Conference on Electric Engineering
Pages:
9
| Language: Persian
View And Download
Conference Paper
بررسی رفتاری ترکیب وب سرویس ها با روشهای فرمال
Authors:
حسام فولادوند
،
سیدعبدالمجید موسوی
،
وحید رافع
Year 1390
Publish place:
2nd National conference on Soft Computing and Information Technology (NCSCIT2012)
Pages:
6
| Language: Persian
View And Download
Conference Paper
بررسی درستی یابی ترکیب معنایی وب سرویس ها
Authors:
حسام فولادوند
،
سیدعبدالمجید موسوی
،
وحید رافع
Year 1390
Publish place:
The first specialized conference on intelligent computer systems and their applications
Pages:
11
| Language: Persian
View And Download
Conference Paper
همجوشی اطلاعات فازی در یک محیط چند عاملی
Authors:
نصراله مقدم چرکری
،
فرشته آزادی پرند
،
کارو لوکس
Year 1383
Publish place:
10th Annual Conference of Computer Society of Iran
Pages:
8
| Language: Persian
View And Download
Conference Paper
هم جوشی اطلاعات در محیط گرید دانش
Authors:
سعید پارسا
،
فرشته آزادی پرند
Year 1384
Publish place:
11th Annual Conference of Computer Society of Iran
Pages:
5
| Language: Persian
View And Download
Conference Paper
مدلسازی و تحلیل کمی پروتکلهای امنیتی مبتنی بر بررسی مدل احتمالی و ابزار PRISM
Authors:
مجتبی اکبرزاده
،
محمد عبداللهی ازگمی
Year 1388
Publish place:
6th Iranian Security Community Conference
Pages:
7
| Language: Persian
View And Download
نتایج 51 تا 60 از مجموع 71
First
...
3
4
5
6
7
8