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

مزایده های واقعی خرید واحد با بودجه بازبینی شده است

Truthful unit-demand auctions with budgets revisited

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

نتایج دوقطبی برای شمارش نقطه ثابت در سیستم های دینامیکی بولین

Dichotomy results for fixed point counting in boolean dynamical systems

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

نتایج سختی، تقریبی و الگوریتم دقیق برای مشکل سلطه دروغین در نمودارها

Hardness results, approximation and exact algorithms for liar's domination problem in graphs

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

بازیابی شبکه ایجاد حداکثر فاصله در گرافهای میزبان عمومی؟

The max-distance network creation game on general host graphs

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

مشکلات حذف لبه: شاخه سازی با تجزیه مدولار تسهیل می شود

Edge deletion problems: Branching facilitated by modular decomposition

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

Editorial Board

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

F4F4-invariant algorithm for computing SAGBI-Gröbner bases

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

Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives

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