Persian
Persian
English
ورود
دانشگاه فردوسی مشهد
|
مرکز اطلاعرسانی و کتابخانه مرکزی
Toggle navigation
Persian
English
خانه
انواع منابع
مقاله مجله
کتاب الکترونیکی
مقاله همایش
استاندارد
پروتکل
پایاننامه
راهنمای استفاده
Toggle navigation
Filter by: Subject Keywords
کتابخانه دیجیتال دانشگاه فردوسی مشهد
Filter by: Subject Keywords
کتابخانه دیجیتال دانشگاه فردوسی مشهد
Filter by: Subject Keywords
همه
همه
عنوان
نویسنده
سال
ناشر
موضوع
عنوان ناشر
ISSN
شناسه الکترونیک
شابک
Search
جستجوی پیشرفته
JavaScript is disabled for your browser. Some features of this site may not work without it.
Go
Filter by: Subject Keywords
Results Per Page:
5
10
20
40
60
80
100
update
نمایش تعداد 21-30 از 5
نتایج
5
10
20
40
60
80
100
false temporal variation patterns (1)
finite state machines (1)
formal property checking (1)
formal verification (1)
formal verification techniques (1)
general purpose computing systems (1)
granularity (1)
graphical modeling language (1)
hardware TM systems (1)
hardware transactional memory (1)
