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

اعتماد به ساختارهای رویداد

Trust in event structures

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

علیت در فیزیک و محاسبات

Causality in physics and computation

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

گروه های بسته دکارتی دامنه های اسکات جداگانه

Cartesian closed categories of separable Scott domains

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

سلول های انشعابی برای ساختارهای رویداد نامتقارن

Branching cells for asymmetric event structures

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

ارتباط معادلات رفتاری قوی برای فرایندهای با عدم تخصیص و احتمالات

Relating strong behavioral equivalences for processes with nondeterminism and probabilities

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

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

Sobriety for equilogical spaces

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

بازبینی تفسیر قطعی تئوری نوع وابسته

Revisiting the categorical interpretation of dependent type theory

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

عناصر نظریه های جبری

Elements of a theory of algebraic theories

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

ساختار نظری گروهی از مجموعه ها

Category theoretic structure of setoids

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

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

Complete proof systems for weighted modal logic

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

Editorial Board

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

A characterization of Moessner's sieve

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

Realizability with a local operator of A.M. Pitts

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

Rabin's theorem in the concurrency setting: A conjecture

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

A network-conscious π-calculus and its coalgebraic semantics

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

Anatomy of a domain of continuous random variables I

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

Analytic functors between presheaf categories over groupoids

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

Application of branching cells to QoS aware service orchestrations

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