دانلود رایگان مقالات نشریه ISI علوم کامپیوتر نظری

اثبات های تعاملی با اتوماتیک محدود کوانتومی

Interactive proofs with quantum finite automata

18 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

طراحی عمومی ماشینهای ترتیبی برگشت پذیر براساس عناصر منطقی برگشت پذیر

General design of reversible sequential machines based on reversible logic elements

9 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

تجزیه و تحلیل محدوده نسبی الگوریتم های پیجینگ بر روی نمودارهای دسترسی

Relative interval analysis of paging algorithms on access graphs

21 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

الگوریتم های ثابت پارامتر برای پر کردن داربست

Fixed-parameter algorithms for scaffold filling

12 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

در تثبیت خود را از روبات های تلفن همراه فراموش شده در حلقه های یکنواخت

On the self-stabilization of mobile oblivious robots in uniform rings

13 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

تشخیص و شناسایی نمودار بلوک پروب؟

Characterizing and recognizing probe block graphs

6 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

Editorial Board

7 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

Identification of biological regulatory networks from Process Hitting models

23 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه