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

تحریم مبتنی بر قانون از قوانین بازنویسی گراف: به گرامرهای گراف بالاتر

Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars

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

بررسی انطباق برای سناریوهای محدود با محدودیت زمانی

Checking conformance for time-constrained scenario-based specifications

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

بازپرداخت جزئی بازپرداخت مکمل

Partial pullback complement rewriting

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

کارایی توابع بازگشتی اولیه: دیدگاه برنامه نویس

The efficiency of primitive recursive functions: A programmer's view

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

پیوند بین اتوماتای ​​ارزیابی و ارزیابی درخت چند اپراتور و منطق

A link between multioperator and tree valuation automata and logics

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

حفظ تقارن شاخه ای بعدی

Next-preserving branching bisimulation

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

تمام دسته های بسته بندی شده دکتیایی دامنه های ناکارآمد شامل دامنه ها می شوند

All cartesian closed categories of quasicontinuous domains consist of domains

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

تجزیه و تحلیل کیفی شبکه های نظارتی ژنی با استفاده از منطق زمانی

Qualitative analysis of gene regulatory networks by temporal logic

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

تولید مگاوات برای سیستم های ترکیبی غیر خطی

Generating invariants for non-linear hybrid systems

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

سنتز برای زمان مداوم

Synthesis for continuous time

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

Editorial Board

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

Characterizing weighted MSO for trees by branching transitive closure logics

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