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-2 از 2

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

An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code

نوع: Journal Paper

نویسنده : Eldib, Hassan; Chao Wang

ناشر: IEEE

سال: 2014

ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors

نوع: Journal Paper

نویسنده : Kobayashi, Kaoru; Hiraishi, Kunihiko

ناشر: IEEE

سال: 2014

نویسنده

Chao Wang (1)

Eldib, Hassan (1)

Hiraishi, Kunihiko (1)

Kobayashi, Kaoru (1)

ناشر

IEEE (2)

سال

2014 (2)

کلیدواژه

computability (2)

arithmetic computations optimization (1)

Benchmark testing (1)

Bioinformatics (1)

bioinformatics (1)

Biological system modeling (1)

Boolean functions (1)

Boolean net (1)

Boolean networks design (1)

cancer (1)

نوع

Journal Paper (2)

زبان

English (2)

نوع محتوا

Metadata Only (2)

عنوان ناشر

Computational Biology and Bioinformatics, IEEE/ACM Transactions on (1)

Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on (1)

درباره ما

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

DSpace software copyright © 2019-2022 DuraSpace