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

حفظ حریم خصوصی دیفرانسیل تحت معانی دقیق

Preserving differential privacy under finite-precision semantics

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

محاسبه تضمین اعتبار احتمالی

Probabilistic rely-guarantee calculus

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

معانی عملیاتی ساختاری برای فرایندهای غیر قطعی با جنبه های کمی

Structural operational semantics for non-deterministic processes with quantitative aspects

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

کاهش تقارن برای اتوماتای ​​مارکوف

Confluence reduction for Markov automata

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

Editorial Board

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

Undecidability of performance equivalence of Petri nets

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

Enhancing unsatisfiable cores for LTL with information on temporal relevance

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