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

محاسبات فرآیند زمانبندی با تاخیرهای قطعی یا تصادفی: حرکت بین فعالیتهای طولانی مدت و طولانی مدت

Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions

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

نمودار مسیرهای لبه متقاطع و غیر تقسیم

Graphs of edge-intersecting and non-splitting paths

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

نمودار آسان مجموعه ای از شرایط خاموش لامبدا

Graph easy sets of mute lambda terms

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

تشخیص لغات 3 لغزنده در یک الفبای دودویی؟

Recognizing 3-collapsing words over a binary alphabet

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

الگوریتم های دقیق برای اندازه محدود 2 خوشه بندی در هواپیما

Exact algorithms for size constrained 2-clustering in the plane

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

یک الگوریتم کارآمد برای تولید شمعهای یخی متقارن

An efficient algorithm for generating symmetric ice piles

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

Editorial Board

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

Adding one or more equivalence relations to the interval temporal logic ABB¯

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