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

نظریه تعامل

Theory of interaction

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

مبانی زبان های جریان فونگرافی برگشت پذیر

Fundamentals of reversible flowchart languages

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

چند ضلعی تا فرمول های مدل پاداش مارکف: یک رویکرد جبری

Multiphase until formulas over Markov reward models: An algebraic approach

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

کنترل فرآیندهای همکاری نادرست

Controlling loosely cooperating processes

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

Editorial Board

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

Termination of rewrite relations on λ-terms based on Girard's notion of reducibility

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