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

Editorial Board

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

Polynomial space hardness without disjunction property

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

On the coverability and reachability languages of monotonic extensions of Petri nets

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

Synthesis of sup-interpretations: A survey

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

Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games

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

Information flow in systems with schedulers, Part I: Definitions

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

Efficient model-checking of dense-time systems with time-convexity analysis

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