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

پیچیدگی مفاهیم همگانی امنیت اطلاعات جریان

The complexity of synchronous notions of information flow security

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

یک چارچوب عمومی برای تجزیه و تحلیل داده ها و مقدار زبان های برنامه نویسی شی گرا

A generic framework for heap and value analyses of object-oriented programming languages

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

تکمیل روش های بازگشتی در منطق جداسازی

Completeness for recursive procedures in separation logic

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

انتزاع توپولوژیکی از اتوماتای ​​بالاتر

Topological abstraction of higher-dimensional automata

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

مبانی تأیید زمان اجرا بولین جریان

Foundations of Boolean stream runtime verification

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

بازی های قابل دسترس در زمان انتظار

Expected reachability-time games

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

Editorial Board

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

Term satisfiability in FLew-algebras

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