Search

Persian
- Persian
- English
ورود

دانشگاه فردوسی مشهد
|
مرکز اطلاع‌رسانی و کتابخانه مرکزی

- Persian
- English

خانه
انواع منابع
راهنمای استفاده

کتابخانه دیجیتال دانشگاه فردوسی مشهد
Search

کتابخانه دیجیتال دانشگاه فردوسی مشهد
Search

همه
عنوان
نویسنده
سال
ناشر
موضوع
عنوان ناشر
ISSN
شناسه الکترونیک
شابک

جستجوی پیشرفته

JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced Filters Hide Advanced Filters

Filters

Use filters to refine the search results.

نمایش تعداد 1-4 از 4

Relevance
Title Asc
Title Desc
سال صعودی
سال نزولی

5
10
20
40
60
80
100

CSV
RIS

Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100

Formal verification of circuit-switched Network on chip (NoC) architectures using SPIN

نوع: Conference Paper

نویسنده : Zaman, Anam; Hasan, Osman

ناشر: IEEE

سال: 2014

Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM

نوع: Conference Paper

نویسنده : Pervez, Usman; Hasan, Osman; Latif, Khalid; Tahar, Sofiene; Gawanmeh, Amjad; Hamdi, Mohamed Salah

ناشر: IEEE

سال: 2014

Timing variation aware dynamic digital phase detector for low-latency clock domain crossing

نوع: Journal Paper

نویسنده : Lodhi, Faiq Khalid; Hasan, Syed Rafay; Sharif, Naila; Ramzan, Naeem; Hasan, Osman

ناشر: IET

سال: 2014

Augmenting RRT∗-planner with local trees for motion planning in complex dynamic environments

نوع: Conference Paper

نویسنده : Qureshi, Ahmed Hussain; Mumtaz, Saba; Khan, Wajeeha; Sheikh, Abdul Ahad Ashfaq; Iqbal, Khawaja Fahad; Ayaz, Yasar; Hasan, Osman

ناشر: IEEE

سال: 2014

نویسنده

Hasan, Osman (4)

Ayaz, Yasar (1)

Gawanmeh, Amjad (1)

Hamdi, Mohamed Salah (1)

Hasan, Syed Rafay (1)

Iqbal, Khawaja Fahad (1)

Khan, Wajeeha (1)

Latif, Khalid (1)

Lodhi, Faiq Khalid (1)

Mumtaz, Saba (1)

ناشر

IEEE (3)

IET (1)

سال

2014 (4)

کلیدواژه

alternators (1)

asynchronous signal (1)

Boltzmann machines (1)

circuit stability (1)

energy-delay product (1)

failure finite probability (1)

IHP technology (1)

Internet (1)

low-latency clock domain crossing (1)

metastability avoidance algorithm (1)

نوع

Conference Paper (3)

Journal Paper (1)

زبان

English (4)

نوع محتوا

Metadata Only (4)

عنوان ناشر

-Health Networking, Applications and Services (Healthcom), 2014 IEEE 16th International Conference o (1)

Circuits, Devices &amp; Systems, IET (1)

ethods and Models in Automation and Robotics (MMAR), 2014 19th International Conference On (1)

ystem-on-Chip (SoC), 2014 International Symposium on (1)

درباره ما

نرم افزار کتابخانه دیجیتال "دی اسپیس" فارسی شده توسط یابش برای کتابخانه های ایرانی | تماس با یابش

DSpace software copyright © 2019-2022 DuraSpace