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

منطق کلی اصطلاح

Term-generic logic

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

بیوگرافی با به اشتراک گذاری

Bigraphs with sharing

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

کشف دگرگونی توسط تفسیر انتزاعی از خواص کد

Unveiling metamorphism by abstract interpretation of code properties

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

شمارش برنامه های مشاهده شده و صحت ترجمه ها

Observational program calculi and the correctness of translations

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

اتوماتای ​​نمونه و برنامه ها

Sampling automata and programs

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

Editorial Board

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

Expansion-based QBF solving versus Q-resolution

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