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

محدود کردن محدودیت برای معادلات شرطی نظریه های مدول

Constrained narrowing for conditional equational theories modulo axioms

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

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

Improving time bounded reachability computations in interactive Markov chains

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

وام دهی شبکه های پتری

Lending Petri nets

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

بی فایده است که در دسته های محدود قرار بگیرد

It is pointless to point in bounded heaps

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

In the quantitative automata zoo

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