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

مقدمه الگوریتمی از مقادیر کوانتومی

Algorithmic introduction of quantified cuts

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

سیستم های نوعی وجود بین سبک کلیسا و کاری (سبک بدون نوع)

Existential type systems between Church and Curry style (type-free style)

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

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

Minimal counterexamples for linear-time probabilistic verification

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

یک چارچوب نظری برای تصمیم گیری بر اساس موجودیت دانش

A theoretical framework for knowledge-based entity resolution

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

نظریه جبری اتوماتای ​​رابط

An algebraic theory of interface automata

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

Editorial Board

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

Proof systems for Moss' coalgebraic logic

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

Efficient CTL model-checking for pushdown systems

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