لطفا کمی صبر نمایید ...
ورود
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
فیلتر نتایج
Hassan Haghighi
Conference Paper
طراحی مدل فلاسفه فاقد بن بست با استفاده از Coloured Petri net
Authors:
جواد مظفری
Year 1400
Publish place:
4th National Conference on New Technologies in Electrical and Computer Engineering
Pages:
21
| Language: Persian
View And Download
Conference Paper
روش های صوری در توصیف سیستم های همروند
Authors:
بتول لکزائی
Year 1395
Publish place:
The first international conference of modern research engineers in electricity and computer
Pages:
14
| Language: Persian
View And Download
Conference Paper
ارائه روشی برای صحت سنجی توصیفهای z ازسیستم های همروندبادرنظرگرفتن اعمال غیرقطعی
Authors:
زینب مجدی
،
حسن حقیقی
Year 1392
Publish place:
First National Conference on Advances in computer science and information retrieval approaches
Pages:
9
| Language: Persian
View And Download
Conference Paper
ارائه یک مدلسازی صوری ازمساله بن بست درسیستم های هم روند
Authors:
سیده سارا شریفی راد
،
سیده مریم شریفی راد
Year 1391
Publish place:
2nd Lahijan National Conference on Software Engeering
Pages:
8
| Language: Persian
View And Download
Conference Paper
ارائه محیطی جهت تولید برنامه های کاربردی توزیع شده
Authors:
وحید خلیل پور
،
وحید حیدری نژاد
،
محرم چلنگر
Year 1388
Publish place:
15th Annual Conference of Computer Society of Iran
Pages:
7
| Language: Persian
View And Download