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

مشخص کردن و محاسبه مشخصات افق بی نهایت از فرآیندهای مارکوف

Characterization and computation of infinite-horizon specifications over Markov processes

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

تصمیم گیری خودکار نظری از بازی های زمان بندی شده

Automata-theoretic decision of timed games

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

گسترش وابستگی های ورودی به شرایط

Extending inclusion dependencies with conditions

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

سنتز قوی برای سیستم های زمان واقعی؟

Robust synthesis for real-time systems

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

Editorial Board

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

Safe recursion revisited I: Categorical semantics for lower complexity

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