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

توضیحات بر اساس زبان ماشین نهایی غیر قطعی

A description based on languages of the final non-deterministic automaton

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

یک چارچوب منطقی منطق مجوز

A framework for linear authorization logics

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

مورفیسم های ضعیف اتوماتای ​​ابعاد بالاتر

Weak morphisms of higher dimensional automata

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

تولید کاملی از اپراتورهای دیفرانسیل ترکیبی هسته ای

Exhaustive generation of atomic combinatorial differential operators

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

Editorial Board

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