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

توپولوژی، خواص قابل کنترل و تایید زمان اجرا

Topology, monitorable properties and runtime verification

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

ویژگی، تعریف و جداسازی از طریق مدل های اشباع شده

Characterization, definability and separation via saturated models

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

به یک دید کلی از اولویت از طریق چندین تقسیم اعداد طبیعی

Towards a generic view of primality through multiset decompositions of natural numbers

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

Editorial Board

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

TCTL-preserving translations from timed-arc Petri nets to networks of timed automata

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

Axiomatizing weak simulation semantics over BCCSP

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

On some derivation mechanisms and the complexity of their Szilard languages

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

Ambiguity and structural ambiguity of symmetric difference NFAs

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