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

Editorial Board

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

Model-checking games for logics of imperfect information

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

A game-theoretic approach to fault diagnosis and identification of hybrid systems

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

Optimal bounds in parametric LTL games

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

Connectivity games over dynamic networks

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

Computing the reveals relation in occurrence nets

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

Determinacy and optimal strategies in infinite-state stochastic reachability games

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

Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers

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

Automatic synthesis of switching controllers for linear hybrid systems: Safety control

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