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

یک طبقه قابل قبول از سیستم های هیبریدی خطی

A decidable class of planar linear hybrid systems

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

یک قضیه نقطه ثابت برای توابع غیر مونوتونی

A fixed point theorem for non-monotonic functions

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

نظریه ثابت نقطه ای از توابع بسیار علمی

The fixed-point theory of strictly causal functions

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

یک مدل کریپکه برای مجموعه های ساده

A Kripke model for simplicial sets

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

Editorial Board

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

s2s2-Quasicontinuous posets

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